חייב להיות תוכנה עבור Wandering Mango
ניכויים היא תוכנה חינוכית שנועדה לסייע לתלמידים ללמוד הוכחות בהיגיון פורמלי. הוא מיועד לשימוש על ידי מדריכים ותלמידי קורסי היגיון ברמת המכללה בפילוסופיה, מתמטיקה ומדעי מחשב. זה נותן משוב מיידי בכל שלב של הוכחה, מספק רמזים על איך להשלים הוכחות, ומגיע עם סט...
אינטואיציה היא פריצת דרך במשחקי פאזל שמשתלבת out-of-the-box לחשוב עם כיף המוח מתגרה. בהשראת MU-פאזל בספרו של דאגלס Hofstaedter זוכה פרס פוליצר, הגדל, Escher, Bach: Golden Braid הנצחי, אינטואיציה תוארה כחלק סודוקו אחד, חלק אחד שולה המוקשים. הקפד להיות מנצח...
