بالا نرمافزار برای Wandering Mango
کسر نرم افزار آموزشی طراحی شده برای کمک به دانش آموزان اثبات در منطق صوری یادگیری است. این نظر گرفته شده است به توسط مدرسان و دانش آموزان از دوره منطق در سطح کالج در فلسفه، ریاضیات و علوم کامپیوتر مورد استفاده قرار گیرد. آن را می دهد بازخورد فوری در هر مرحله از اثبات، نکات در مورد چگونگی تکمیل اثبات فراهم می کند، و...
شهود دستیابی به موفقیت در بازی های پازل است که خارج از جعبه فکر با مغز اذیت کردن سرگرم کننده می آمیزد است. با الهام از MU-پازل در کتاب داگلاس Hofstaedter را برنده جایزه پولیتزر، گودل، اشر، باخ: ابدی طلایی بهم تابیدن و بافتن، شهود به عنوان یک بخش سودوکو، یک بخش کشتی مین جمع کن توصیف شده است. مطمئن است به یک برنده با...
