Week 5 (Oct 25-29)
Osnova sekce
-
-
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 Úkol
-
Atomic tableaux Soubor
-
English lecture: Zoom recording Soubor
-
English tutorial: Worksheet 3 Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Zoom záznam Soubor
-