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