Week 14 (Jan 4-8)
Osnova sekce
-
-
English lecture
- Program: Definable sets and automorphisms. Omega-categoricity. Axiomatizability. Undecidability and Incompleteness.
English tutorial
- Program: Resolution in predicate logic.
České cvičení
- Program: Rezoluce v predikátové logice.
-
English lecture: Zoom recording Soubor
-
English Tutorial: Zoom recording Soubor
-
České cvičení: Zoom záznam Soubor
-