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

DL 1

Home Calendar Support

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.
  
  Not available unless: You belong to any group
- Select activity České cvičení: Příklady 4
  
  České cvičení: Příklady 4 File
  
  Not available unless: You belong to české cvičení
- Select activity English lecture: Zoom recording - part 1
  
  English lecture: Zoom recording - part 1 File
  
  Not available unless: You belong to English lecture
- Select activity English lecture: Zoom recording - part 2
  
  English lecture: Zoom recording - part 2 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í