Week 8 (Nov 15-19)
Section outline
-
-
English lecture
- Program: Basic syntax and semantics of predicate logic. Structures. Properties of theories.
English tutorial
- National holiday - there is no tutorial.
České cvičení
- Rezoluční metoda, syntaxe a sémantika predikátové logiky.
-
České cvičení: Příklady 5 Файл
-
English lecture: Zoom recording Файл
-
English Tutorial: Zoom recording Файл
-