AIL023 Výroková a predikátová logika / cvičení
Anotace
Doporucena literatura:
Prof. Petr Stepanek: Predikatova logika, Meze formalni metody
obe ke stazeni
zde
letni semestr 2002/2003
ctvrtek 12:20 - 13:50 (ucebna E2) sude i liche tydny
Podminky udeleni zapoctu
Podminky jsou stanoveny jednotně pro vsechny kruhy. Na posledni prednasce
se psala zapoctova pisemka, ze které bylo nutno získat alespoň 11 bodů. Výsledky písemky
jsou zde.
Udělování zápočtů, vyzvedávání opravených písemek: čtvrtky 29. 5., 5. 6.,
12. 6. a 19. 6., vždy 10:00-11:00 a 15:00-16:00. Nebudou vypsány žádné
další termíny po 20. 6.
Anketa
Průběh cvičení
Krome prvniho cviceni probiha cviceni c. n nasledovne: Na
cviceni cislo (n-1) kazdy dostal papir s priklady a zaroven bylo
ukazano, jak takovy typ prikladu resit. Priklady jste si resili sami
mimo cviceni. Na cviceni c. n
vysvetlujeme (obvykle individualne) nejasnosti, ktere vznikly pri reseni
techto prikladu. Navic rozdam nove papiry a predvedu ukazkova reseni. Kdo
nema problemy s predchozimi priklady, muze zacit resit priklady nove.
Krome toho na nekterych cviceni ukazu nekolik zajimavych dukazu, ktere se
nestihnou na prednasce a ktere jsou typicky zkouseny.
Priklady na procviceni:
1. hodina,
2. hodina,
3. hodina,
4. hodina,
5. hodina.
Kontakt
Petr Olmer
Katedra teoretické informatiky a matematické logiky
Malostranské náměstí 25, 2. patro, č. dveří 207
telefon 22191-4251
e-mail petr.olmer@mff.cuni.cz
Petr Olmer, 22. kvetna
2003