Intuition

Intuition 1.0.3

Intuice je průlom v logických her, který se hodí out-of-the-box myšlení s brain-škádlivým zábavy. Inspirován MU-Puzzle Douglas Hofstaedter je Pulitzerovy ceny knihy, Gödel, Escher, Bach, který Intuition byla popsána jako jeden díl Sudoku, jeden díl...

číst více

srážky je vzdělávací software navržen tak, aby se studenti učí důkazy formální logiky. Je určena pro použití instruktory a studenty vysoké školy úrovni logických kurzy filozofie, matematiky a informatiky. To dává okamžitou zpětnou vazbu v každé fázi...