Kurs: Propositional and Predicate Logic, Woche: Week 13 (Dec 21-22) | DL 1

DL 1

Section outline

- Select activity English lecture Program: Lifting lemma, complet...
  
  English lecture
  
  Program: Lifting lemma, completeness of resolution, linear resolution, LI-resolution and Prolog. Hilbert proof system in predicate logic. Theory of a structure. Corollaries of the Löwenheim-Skolem Theorem. Elementary equivalence and isomorphism.
  
  English tutorial
  
  Program: Skolemization, conversion to CNF, resolution in predicate logic.
  
  České cvičení
  
  Program: Skolemizace. Herbrandův model. Převod do CNF. Rezoluce v predikátové logice.
  
  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í
- Select activity English tutorial: 4th homework assignment
  
  English tutorial: 4th homework assignment Aufgabe
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: 4. domácí úkol
  
  České cvičení: 4. domácí úkol Aufgabe
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení