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

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