Week 11 (Dec 7-11)
Osnova sekce
-
-
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 Soubor
-
English tutorial: Worksheet 6 Soubor
-
English Tutorial: Zoom recording URL
-
České cvičení: Příklady 6 Soubor
-
České cvičení: Zoom záznam Soubor
-
English tutorial: 3rd homework assignment Úkol
-
České cvičení: 3. domácí úkol
-