IB112 Matematické základy
Základy naivní teorie množin, relace, zobrazení, číselné obory + Základy matematické logiky
- 18. 2. 2015 - výroková logika (syntaxe, sémantika, pravdivostní tabulka)
- 25. 2. 2015 - množiny, základní operace, Russelův paradox, uspořádané dvojice, kartézský součin, potenční množina, relace
- 4. 3. 2015 - ekvivalence, rozklad, uspořádání, Hasseův diagram
- 11. 3. 2015 - zobrazení, číselné obory N, Z, Q, R, mohutnost
- 18. 3. 2015 - predikátová logika