Obecné informace
Říjnové přednášky jsou kvůli povinným praxím zrušeny. Výuka začíná v úterý 4. listopadu.
Účast na přednášce není povinná. Zkouška bude ústní a zkoušet budu to, co stihnu odpřednášet.
Konzultace jsou možné po předchozí dohodě (na přednášce/mailem).
Zkouška
Jsou vypsány (prozatím) tři zkouškové termíny - 15. 1., 27. 1. a 5. 2. Případný další termín na konci zkouškového budu vypisovat jen pokud by nestačila kapacita těchto z důvodu opakovaných pokusů. Zkoušky se nekonají v Karlíně, ale na Malé Straně. Po zápisu by se vám měl v SISu zobrazit začátek vaší zkoušky, mezi 9:00 a 12:00. Čas je přibližný, počítejte se zpožděním, ovšem můžete přijít i dřív, budete mít víc času na přípravu.
Z teorie množin se zkouší všechny uvedené věty, lemmata i příklady včetně důkazů, kromě následujících výjimek:
Z logiky se zkouší všechny uvedené věty, lemmata i příklady včetně důkazů, pokud jsou uvedeny ve slidech nebo byly probrány na přednášce. Není ovšem třeba se zpaměti učit hilbertovský kalkulus, slidy (celkem 3) obsahující seznam logických axiomů a odvozovacích pravidel je možno si přinést vytištěné a v průběhu zkoušky do nich nahlížet.
Slidy Neúplnost a nerozhodnutelnost jsou pouze informativní, ke zkoušce nejsou potřeba.
Průběh semestru
4. 11. Historicko-filosofický úvod - slidy z přednášky
11. 11. Teorie množin 1 - slidy z přednášky
18. 11. Teorie množin 2 - slidy z přednášky
25. 11. Teorie množin 3 - slidy z přednášky
2. 12. Teorie množin 4 - slidy z přednášky
9. 12. Teorie množin 5 - slidy z přednášky
Predikátová logika 1 - slidy z přednášky
16. 12. Predikátová logika 2 - slidy z přednášky
6. 1. Predikátová logika 3 - slidy z přednášky
Neúplnost a nerozhodnutelnost - slidy z přednášky
Literatura (bude přibývat)
B. Balcar, P. Stěpánek, Teorie množin, Academia
V. Švejdar, Logika: neúplnost, složitost a nutnost, Academia 2002 (pdf verze zdarma zde)
P. Glivický: rozšířené slidy z loňského běhu kurzu (pdf ke stažení zde )