Osnova sekce

◄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.
    • English lecture: Zoom recording Soubor
    • English Tutorial: Zoom recording Soubor
    • České cvičení: Zoom záznam Soubor
    • English tutorial: 4th homework assignment Úkol
    • České cvičení: 4. domácí úkol
◄Week 14 (Jan 4-8)
►Week 12 (Dec 14-18)