V zimním semestru 2011/2012 vedu přednášku Logika a teorie množin.
Obecné informace
- Přednáška se koná v úterý od 8:10 do 9:40 v K6.
- Další informace naleznete v SISu.
Materiály k přednášce
Materiály k přdnášce budou zveřejňovány na tomto místě (snad) vždy alespoň jeden den před přednáškou, je vhodné mít jejich výtisk s sebou na přednášce pro účely efektivnějšího zápisu poznámek. Pro výuku teorie množin využívám slidy kolegy Petra Pajase, ty budou v průběhu semestru eventuálně upravovány podle probrané látky:Zkouška
Zkouška se bude konat v následujících termínech, které byly rovněž vypsány do SISu: pátky 20.1.–10.2. vždy od 10:00 na chodbě katedry teoretické informatiky a matematické logiky (Malá Strana, 3. patro, oficiálně místnost S301). Na termín zkoušky je nutné se přihlásit buďto přes SIS nebo emailem. V případě, že se Vám žádný z vypsaných termínů nehodí, informujte mě rovněž emailem.Doporučná literatura (značně přesahuje rámec přednášky, na první přednášce, případně na individuální žádost upřesním, které kapitoly knih jsou dostačující):
- Teorie množin, B. Balcar a P. Štěpánek, Academia, Praha 1986
- Logika - neúplnost, složitost a nutnost, V. Švejdar, Academia, Praha 2002
