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.
      Non disponible à moins que : Vous soyez membre d'un groupe
    • English lecture: Zoom recording Fichier
      Non disponible à moins que : Vous soyez membre de English lecture
    • English Tutorial: Zoom recording Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • České cvičení: Zoom záznam Fichier
      Non disponible à moins que : Vous soyez membre de české cvičení
    • English tutorial: 4th homework assignment Devoir
      Non disponible à moins que : Vous soyez membre de English tutorial
    • České cvičení: 4. domácí úkol Devoir
      Non disponible à moins que : Vous soyez membre de české cvičení
◄Week 14 (Jan 4-8)
►Week 12 (Dec 14-18)