Kurs: Propositional and Predicate Logic, Woche: Week 12 (Dec 14-18) | DL 1

DL 1

Section outline

- Select activity English lecture Program: Resolution in predicat...
  
  English lecture
  
  Program: Resolution in predicate logic. Unification algorithm, the general resolution rule, soundness of resolution, lifting lemma.
  
  English tutorial
  
  Program: Compactness theorem. Extension by definitions. Prenex normal form, skolemization. Herbrand universe.
  
  České cvičení
  
  Program: Tablo metoda v predikátové logice. Extenze o definice. Skolemizace.
  
  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: Worksheet 7
  
  English tutorial: Worksheet 7 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- 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í: Příklady 7
  
  České cvičení: Příklady 7 Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
- 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í