Deductions 1.3
ניכויים היא תוכנה חינוכית שנועדה לסייע לתלמידים ללמוד הוכחות בהיגיון פורמלי. הוא מיועד לשימוש על ידי מדריכים ותלמידי קורסי היגיון ברמת המכללה בפילוסופיה, מתמטיקה ומדעי מחשב. זה נותן משוב מיידי בכל שלב של הוכחה, מספק רמזים על איך להשלים הוכחות, ומגיע עם סט...
תוכנה פופולרית
-
Deductions 2 Jan 15
Intuition 13 Dec 14