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

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...