|
Logika a teorie množin - přednáška
Středa od 11:25 do 13:00 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
- 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
|