Week 12 (Dec 14-18)
Section outline
-
-
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 Файл
-
English tutorial: Worksheet 7 Файл
-
English Tutorial: Zoom recording Файл
-
České cvičení: Příklady 7 Файл
-
České cvičení: Zoom záznam Файл
-