Week 9 (Nov 22-26)
Section outline
-
-
English lecture
- Program: Substructures, definable sets, tableau method in predicate logic.
English tutorial
- Program: Semantics of predicate logic.
České cvičení
- Program: Syntaxe a sémantika v predikátové logice.
-
English lecture: Zoom recording Файл
-
English tutorial: Worksheet 5 Файл
-
English Tutorial: Zoom recording Файл
-
České cvičení: Zoom záznam Файл
-
English tutorial: 2nd homework assignment Задание
-
České cvičení: 2. domácí úkol Задание
-