|
Logika a teorie množin - přednáška
Úterý od 18:05 do 19:40 v R2.
Popis předmětu v systému STAG
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
- Ordinální čísla
- Logika
Doporučená literatura:
T. Šalát, J. Smítal, Teória množín, UK Bratislava, 1995
B. Balcar, P. Štěpánek, Teorie množin, Academia, Praha, 1986
J. Kolář, O. Štěpánková, M. Chytil, Logika, algebry a grafy, SNTL, Praha, 1989
|