Üst Software üçün Wandering Mango
Tələbələr formal məntiq dəlilləri öyrənmək yardım üçün nəzərdə təhsil proqram çıxılması edir. Bu müəllimlər və fəlsəfə, riyaziyyat və informatika kollec səviyyəli məntiq kursları tələbələr tərəfindən istifadə üçün nəzərdə tutulub. Bu, sübut hər bir...
Intuition out-of-the-box beyin-zəhlətökən əyləncə ilə düşüncə qarışıqları puzzle oyunları bir sıçrayış edir. Douglas Hofstaedter nin Pulitzer mükafatlı kitab, Godel, Escher, Bax da MU-Puzzle ilham: An Eternal Golden Saç, Intuition bir hissəsi Sudoku, bir...
