Deductions 1.3

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