Week 12 (Dec 14-18)
Osnova sekce
-
-
English lecture
- Program: Resolution in predicate logic. Unification algorithm, the general resolution rule, soundness of resolution, lifting lemma.
English tutorial
- Program: Compactness theorem. Extension by definitions. Prenex normal form, skolemization. Herbrand universe.
České cvičení
- Program: Tablo metoda v predikátové logice. Extenze o definice. Skolemizace.
-
English lecture: Zoom recording Soubor
-
English tutorial: Worksheet 7 Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Příklady 7 Soubor
-
České cvičení: Zoom záznam Soubor
-