Week 9 (Nov 22-26)
Osnova sekce
-
-
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 Soubor
-
English tutorial: Worksheet 5 Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Zoom záznam Soubor
-
English tutorial: 2nd homework assignment Úkol
-
České cvičení: 2. domácí úkol
-