Moet hebben Software Voor Wandering Mango
De aftrek is educatieve software die is ontworpen om studenten te helpen leren bewijzen in de formele logica. Het is bedoeld om te worden gebruikt door docenten en studenten van het college-niveau logica cursussen in de filosofie, wiskunde en informatica....
Intuïtie is een doorbraak in de puzzel games die combineert out-of-the-box denken met breinbrekende plezier. Geïnspireerd door de MU-puzzel in Douglas Hofstaedter's Pulitzer Prize-winnende boek, Gödel, Escher, Bach, heeft Intuïtie is beschreven als...