AIL023 Vyrokova a predikatova logika / cviceni

ZPÁTKY

Průběh seminářů

sude tydny

liche tydny

1. seminář (20. unora 2003)

Vyrokova logika.
Formalni system, formalni dukaz. Veta o dedukci.
Dokazovani formuli.
Priklady na zmeny formalniho systemu.
(priklady)

1. seminář (27. unora 2003)

Vyrokova logika.
Formalni system, formalni dukaz. Veta o dedukci.
Dokazovani formuli.
Priklady na zmeny formalniho systemu.
(priklady)

2. seminář (6. brezna 2003)

Dokazovani formuli.
Konjuktivni a disjunktivni normalni formy.
(priklady)

2. seminář (13. brezna 2003)

Dokazovani formuli.
Konjuktivni a disjunktivni normalni formy.
(priklady)

3. seminář (20. brezna 2003)

Predikatova logika.
Jazyk, semantika (realizace jazyka).
Splnitelnost formuli v ruznych realizacich.
Bezespornost teorii.
(priklady)

3. seminář (27. brezna 2003)

Predikatova logika.
Jazyk, semantika (realizace jazyka).
Splnitelnost formuli v ruznych realizacich.
Bezespornost teorii.
(priklady)

4. seminář (3. dubna 2003)

Dokazovani v predikatove logice.
(priklady)

4. seminář (10. dubna 2003)

Dokazovani v predikatove logice.
(priklady)

5. seminář (17. dubna 2003)

Prenexní tvary.
(priklady)

5. seminář (24. dubna 2003)

Prenexní tvary.
(priklady)

6. seminář (15. kvetna 2003) - společný pro obě skupiny

Opakovaní před písemkou.
Petr Olmer, 15. kvetna 2003