GEB -- meze formálních systémů
Týden 3
Přednášející
- Jaroslav Čechák a Tomáš Effenberger
Obsah semináře
- 4. a 5. kapitola GEB
Recepty a Abstrakty
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/abstrakt-4-4.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/abstrakt-5-2.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/DSC_0023.JPG
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/fraktalove-susenky.pdf