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