IB112 Matematické základy
Základy matematické logiky
- 15. 3. 2012 - výroková logika (syntaxe, sémantika, pravdivostní tabulka)
- 22. 3. 2012 - dokončení výrokové logiky, predikátová logika
- 29. 3. 2012 - přednáška odpadá
- 5. 4. 2012 - dokončení predikátové logiky.