Week 5 (Oct 25-29)
Section outline
-
-
English lecture
- Program: Formal proof systems. Tableau method for propositional logic, tableau proof and refutation, systematic tableaux, finiteness of proofs.
English tutorial
- Program: Properties of theories, semantic notions, extensions, consequences. Lindenbaum-Tarski algebra, counting up to equivalence and T-equivalence. Intro to tableaux.
České cvičení
- Program: státní svátek
-
English tutorial: 1st homework assignment Задание
-
Atomic tableaux Файл
-
English lecture: Zoom recording Файл
-
English tutorial: Worksheet 3 Файл
-
English Tutorial: Zoom recording Файл
-
České cvičení: Zoom záznam Файл
-