Avdrag är mjukvara pedagogiskt utformad för att hjälpa elever lära sig bevis på formell logik. Den är avsedd att användas av lärare och studenter i högskolan nivå logiska kurser i filosofi, matematik och datavetenskap. Det ger omedelbar feedback i varje...

Intuition

Intuition 1.0.3

Intuition är ett genombrott i pusselspel som blandar out-of-the-box tänkande med hjärnskrynklande kul. Inspirerad av MU-Puzzle i Douglas Hofstaedter s Pulitzer Prize-vinnande bok, Gödel, Escher, Bach, har Intuition beskrivits som en del Sudoku, en del...

Läs mer