Kurs: Propositional and Predicate Logic, Woche: Week 10 (Nov 29-Dec 3) | DL 1

DL 1

Section outline

- Select activity English lecture Program: Tableau method in pred...
  
  English lecture
  
  Program: Tableau method in predicate logic, soundness and completeness, canonical model, role of equality.
  
  English tutorial
  
  Program: Semantics of predicate logic. Models and theories, substructures, completeness, extensions. Definable sets.
  
  České cvičení
  
  Program: Sémantika v predikátové logice. Teorie, modely, podstruktury.
  
  Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
- Select activity English lecture: Zoom recording
  
  English lecture: Zoom recording Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English lecture
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení