|
Logika a teorie množin - cvičení
Úterý od 17:15 do 18:50 v R2.
Sylabus:
- Množiny, výroky a výrokové funkce
- Zermelův-Fraenkelův axiomatický systém množin
- Operace s množinami
- Relace
- Kardinální čísla
- Porovnávání kardinálních čísel
- Množiny konečné, množiny nekonečné, množiny spočetné, množiny nespočetné
- Uspořádané množiny
- Dobře uspořádané množiny
Doporučená literatura:
[ŠS] T. Šalát, J. Smítal, Teória množín, UK Bratislava, 1995
|