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