Week 6 (Nov 1-5)
Osnova sekce
-
-
English lecture
- Program: Soundness and Completeness of Tableau method in propositional logic. Compactness theorem. Resolution in propositional logic. Soundness of resolution. Resolution proof, resolution tree, resolution closure.
English tutorial
- Program: Properties of theories. Tableau method in propositional logic.
České cvičení
- Program: Kódování problémů do SAT. Vlastnosti výrokových teorií, sémantické pojmy, extenze, důsledky. Lindenbaum-Tarski algebra výroků. Tablo metoda ve výrokové logice.
-
English lecture: Zoom recording Soubor
-
English tutorial: Worksheet 4 Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Zoom záznam Soubor
-
České cvičení: Příklady 3 Soubor
-
České cvičení: 1. domácí úkol
-