Week: Week 14 (Jan 4-8) | Propositional and Predicate Logic | DL 1

DL 1

Section outline

- Select activity English lecture Program: Definable sets and aut...
  
  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.
  
  Not available unless: You belong to any group
- Select activity English lecture: Zoom recording
  
  English lecture: Zoom recording File
  
  Not available unless: You belong to English lecture
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording File
  
  Not available unless: You belong to English tutorial
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam File
  
  Not available unless: You belong to české cvičení