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

DL 1

Section outline

- Select activity English lecture Program: Tree of reductions, co...
  
  English lecture
  
  Program: Tree of reductions, completeness of resolution. Linear resolution, soundness and completeness. Linear input (LI) resolution and its completeness for Horn formulas. Resolution and Prolog. Intro to predicate logic.
  
  English tutorial
  
  Program: Compactness theorem. Resolution in propositional logic.
  
  České cvičení
  
  Program: Tablo metoda. Věta o kompaktnosti. Rezoluce ve výrokové logice.
  
  Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
- Select activity České cvičení: Příklady 4
  
  České cvičení: Příklady 4 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- Select activity English lecture: Zoom recording - part 1
  
  English lecture: Zoom recording - part 1 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English lecture
- Select activity English lecture: Zoom recording - part 2
  
  English lecture: Zoom recording - part 2 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í