Trebuie să aibă Software Pentru Wandering Mango
Deduceri este un software educațional conceput pentru a ajuta elevii să învețe dovezi în logica formală. Acesta este destinat a fi utilizat de către instructori și studenți de cursuri logice la nivel de colegiu în filosofie, matematică și informatică....
Intuitia este un progres în jocuri de puzzle care se potrivește out-of-the-box gândire cu creier-teasing distracție. Inspirat de MU-puzzle în cartea Douglas Hofstædter lui castigator al premiului Pulitzer, Godel, Escher, Bach: Un Eternal Aur Braid,...