GEB -- meze formálních systémů
Týden 12
Přednášející
- Tomáš Janoušek a David Klaška
Obsah semináře
- The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs + další logické úlohy
Recepty a Abstrakt
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/talk.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/soucetsoucin.txt
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/recept-5.pdf