Section outline

◄Week 14 (Jan 4-8)
►Week 12 (Dec 14-18)
    • 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.
      Not available unless: You belong to any group
    • English lecture: Zoom recording File
      Not available unless: You belong to English lecture
    • English Tutorial: Zoom recording File
      Not available unless: You belong to English tutorial
    • České cvičení: Zoom záznam File
      Not available unless: You belong to české cvičení
    • English tutorial: 4th homework assignment
      Not available unless: You belong to English tutorial
    • České cvičení: 4. domácí úkol Assignment
      Not available unless: You belong to české cvičení
◄Week 14 (Jan 4-8)
►Week 12 (Dec 14-18)