Week 11 (Dec 7-11)
Section outline
-
-
English lecture
- Program: Compactness theorem. Extensions of theories, extension by definition. Skolemization, Skolem's theorem. Herbrand model, Herbrand's theorem and its corollaries.
English tutorial
- Program: Definable sets. Tableau method in predicate logic. Theorem on constants, deduction theorem.
České cvičení
- Program: Definovatelné množiny. Tablo metoda v predikátové logice.
-
English lecture: Zoom recording Файл
-
English tutorial: Worksheet 6 Файл
-
English Tutorial: Zoom recording Гиперссылка
-
České cvičení: Příklady 6 Файл
-
České cvičení: Zoom záznam Файл
-
English tutorial: 3rd homework assignment Задание
-
České cvičení: 3. domácí úkol Задание
-