يجب أن يكون البرمجيات إلى Wandering Mango
والخصومات هو برنامج تعليمي يهدف إلى مساعدة الطلاب على تعلم البراهين في المنطق الصوري. الغرض منه هو لاستخدامها من قبل المعلمين والطلاب من الدورات المنطق على مستوى الكلية في الفلسفة والرياضيات وعلوم الكمبيوتر. أنه يعطي ردود فعل فورية في كل مرحلة من دليل، ويوفر تلميحات حول كيفية إكمال البراهين، ويأتي مع مجموعة من دروس...
والحدس هو طفرة في ألعاب اللغز الذي يمزج خارج المربع، والتفكير مع الدماغ إغاظة المرح. مستوحاة من MU-لغز في كتاب دوغلاس Hofstaedter الحائز على جائزة بوليتزر، غودل، ايشر، باخ: إن الخالدة الذهبي الشريط، وقد وصفت الحدس واحدة جزء سودوكو، جزء واحد كاسحة الألغام. المؤكد أن يكون الفائز مع هواة الدماغ لعبة، الحدس كما يقدم...
