GEB -- meze formálních systémů
Týden 2
Přednášející
- Karel Kubíček a Henrich Lauko
Obsah semináře
- 1. až 3. 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/priprava.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/50818268/abstrakt_kapitola3.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/Jablka_v_hexaedru.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2014/IA073/49913222/recept.pdf