Deductions

צילום מסך תוכנה:
Deductions
פרטי תוכנה:
גרסה: 1.3
טען תאריך: 2 Jan 15
מפתחים: Wandering Mango
רשיון: Shareware
מחיר: 24.99 $
פופולריות: 36
גודל: 6098 Kb

Rating: 2.8/5 (Total Votes: 4)

ניכויים היא תוכנה חינוכית שנועדה לסייע לתלמידים ללמוד הוכחות בהיגיון פורמלי. הוא מיועד לשימוש על ידי מדריכים ותלמידי קורסי היגיון ברמת המכללה בפילוסופיה, מתמטיקה ומדעי מחשב. זה נותן משוב מיידי בכל שלב של הוכחה, מספק רמזים על איך להשלים הוכחות, ומגיע עם סט של הדרכות וידאו שמסבירים ויסקרו מספר מושגים מאתגרים בהיגיון. ניכויים שואף לפתור שלוש בעיות שהופכות את הוכחות המרכיב הקשה ביותר של קורסי היגיון פורמליים: לא יודעים אם כללים מיושמים כהלכה, להיתקע באמצע הוכחה, וחוסר הוודאות לגבי הכללים ואסטרטגיות. ניכויים מטפל בבעיות אלה על ידי סימון שגיאות, כולל מנוע רמז להציע הצעות על איך להשלים הוכחה, ויש להם הדרכות מולטימדיה כדי לסייע לתלמידים באמצעות כללים מורכבים. הבהרה מאפיינים: 1. ספרי לימוד: ניכויים נועדה לעבוד בצורה חלקה עם ספרי הלימוד הבאים: (i) לוגיקה הספר (על ידי ברגמן, Moor, ונלסון), (ii) פורמליות Logic פריימר מודרני (על ידי פול טלר), (iii ) רציני מבוא לוגיקה מתמטית (על ידי טוני רוי). 2. שגיאות הרמת דגל - שגיאות דגלי ניכויים בהוכחות ברגע שהם מתרחשים. זה חשוב, כי כאשר תלמידים לומדים ראשון הוכחות, ניכויים מונעים מתלמידים מלימוד הכללים הלא נכונים. 3. מנוע רמז - ניכויים מספק רמזים על איך להשלים הוכחות. כאשר תלמידים נתקע באמצע הוכחה, ניכויים מציעים כיצד להתקדם. 4. מולטימדיה הדרכות - ניכויים מגיעים עם סט של הדרכות מולטימדיה, לחלק לשתי קבוצות: כיצד להשתמש ניכויים ללמוד היגיון, וכיצד להשתמש בכללי ההיגיון. 5. גמישות - ניכויים נועד לעבוד עם מערכות רבות ושונות היגיון וספרי לימוד. שני סימנים סטנדרטיים וחלופיים כלולים, וכן כללים שניתן להפעיל ולכבות באופן אינדיבידואלי. 6. עיצוב מודרני - ניכויים מספק ממשק מודרני. כערך חדש לשדה שלא ראה את עדכונים רבים בשנים האחרונות (תוכניות היגיון רבות נכתבו עבור DOS, Windows 9x, או יישומוני Java הבסיסי), ניכויים ממנף את הטכנולוגיות של מערכת ההפעלה Mac OS X כדי לספק ממשק משתמש נקי, מערכת עזרה מקיפה גרור-ושחרר תמיכה, ו. . 7. יעילים יותר מנייר - ניכויים דואגים לפרטי העריכה על ידי התאמה אוטומטית הוכחות כאשר קווים מתווספים, הוסרו או עברו

מה חדש בהודעה זו:

<>

  • הוסיף תמיכה למערכת השלטון Logic ספר PD +
  • הוסיף תמיכה למערכת שלטון + נגישה למבוא ND
  • הוסיף יכולת לייצא ניכוי לקובץ טקסט
  • הוסיף יכולת לייצא ניכוי לקטע LaTeX
  • מגבלות :

    רק כללי הניכוי הבאים זמינים בגרסת הניסיון: הנחת יסוד, הנחה, הדגשה, Conjunction מבוא, Conjunction ביעור, מותנה מבוא, מותנה ביעור, טילדה מבוא, טילדה ביעור

    תוכנה דומה

    תוכנות אחרות של יזם Wandering Mango

    Intuition
    Intuition

    13 Dec 14

    תגובות ל Deductions

    תגובות לא נמצא
    להוסיף הערה
    הפעל את התמונות!