Kurs: Propositional and Predicate Logic, Woche: Week 8 (Nov 15-19) | DL 1

DL 1

Section outline

- Select activity English lecture Program: Basic syntax and seman...
  
  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.
  
  Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
- Select activity České cvičení: Příklady 5
  
  České cvičení: Příklady 5 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- 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