výuka
Petr Olmer, MFF UK
23.04.2007
Organizační záležitosti
Info o následujících týdnech.
30. 4. — pokračujeme probíráním důkazů v predikátové logice
7. 5. — cvičení neodpadá, ale bude "oddychové" a nad rámec zápočtu i zkoušky: modální logiky, Gödelův logický důkaz boží existence
14. 5. — co se nevešlo, opakování triků, příprava na zkoušku + čtvrtý test
21. 5. — závěrečná písemka (na celou hodinu, pravděpodobně jinde než v S8)
