Week 7 (Nov 8-12)
Osnova sekce
-
-
English lecture
- Program: Tree of reductions, completeness of resolution. Linear resolution, soundness and completeness. Linear input (LI) resolution and its completeness for Horn formulas. Resolution and Prolog. Intro to predicate logic.
English tutorial
- Program: Compactness theorem. Resolution in propositional logic.
České cvičení
- Program: Tablo metoda. Věta o kompaktnosti. Rezoluce ve výrokové logice.
-
České cvičení: Příklady 4 Soubor
-
English lecture: Zoom recording - part 1 Soubor
-
English lecture: Zoom recording - part 2 Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Zoom záznam Soubor
-