AIL023 Vyrokova a predikatova logika / cviceni

Anotace
Doporucena literatura:
Prof. Petr Stepanek: Predikatova logika, Meze formalni metody
obe ke stazeni zde

letni semestr 2001/2002
ctvrtek 9:00 - 10:30 (ucebna E4) sude i liche tydny

Podminky udeleni zapoctu

Podminky jsou stanoveny jednotne pro vsechny kruhy. 15. kvetna se psala na prednasce zapoctova pisemka. Pokud jste v ni uspeli (tj. ziskali alespon 11 bodu z 20), ziskate zapocet a budete pripusteni ke zkousce.
Nebyli jste na pisemce? V tom pripade jste z ni ziskali 0 bodu.
Pisemky jsou jiz opravene!

Vysledky pisemky

Vysledky si muzete stahnout jako PDF nebo PostScript.
V souboru naleznete krome vysledku take opravny test, jehoz vypracovani vam umozni ziskat zapocet, pokud mate mene nez 11 bodu.

Udelovani zapoctu: ctvrtek 26. zari 9:00 - 11:00 v me pracovne.

Prubeh cviceni

Kontakt

Petr Olmer
Katedra teoretické informatiky a matematické logiky
Malostranské náměstí 25, 2. patro, č. dveří 64
telefon 02/2191-4251
e-mail petr@olmer.cz

Petr Olmer, 19. zari 2002