 | Pheadisplay.ממשק גרפי עשיר המשמש כדי לקיים אינטראקציה עם אפרוס |
| הורד עכשיו | |
Pheadisplay. דירוג וסיכום
פרסומת
Pheadisplay. תגים
Pheadisplay. תיאור
APROS משתמש בשיטה intercalation כדי לחפש הוכחות ניכוי טבעי נורמלי ההיגיון הקלאסי ו predicate. השיטה הותאמה לחיפוש גם בהיגיון אינטואיציציאני ומינימלי, בחלקים בסיסיים של התיאוריה להגדיר ובמטמאמטיקה פורמלית. Gentzen הציע ניכוי טבעי כלים לוגיים לכידת, די ישירות, איך בני אדם סיבה דרך הוכחה. הם מאפשרים, באופן ייחודי ביותר, חשיבה עם הנחות והקדמה, כמו גם כללי חיסול עבור החישובים הלוגיים. שיטת Intercalation מנצל באופן שיטתי את הרעיון הבסיסי כי כללי חיסול מאפשרים פירוק של נוסחאות מורכבות וכי מבוא הכללים מאפשרים לבנות מורכבים. התכונה הייחודית ביותר של נוהל החיפוש מיושם ב IPros היא כי הוכחה הבנייה ניתן להפריד אסטרטגית לשלושה מודולים שונים: מיצוי או המטרה מכוונת לשימוש קדימה של חוקי חיסול, היפוך או שימוש לאחור של הכללים הקדמה, ולבסוף, השימוש של טיעון עקיף. ב הגהה אפשר להציג הן את הוכחה וכתוצאה מכך כל צעד בחיפוש במספר פורמטים. אוטומטי הוכחה כלי חיפוש עבור ההיגיון הקלאסי והאינטואיציוני. משתמש ביסוד של אפרוס הוכחה מנוע חיפוש. קבל הגהה ולתת לו לנסות לראות מה זה הכל על!
Pheadisplay. תוכנה קשורה
