Section outline

◄Week 12 (Dec 14-18)
►Week 10 (Nov 29-Dec 3)
    • English lecture
      • Program: Compactness theorem. Extensions of theories, extension by definition. Skolemization, Skolem's theorem. Herbrand model, Herbrand's theorem and its corollaries.
      English tutorial
      • Program: Definable sets. Tableau method in predicate logic. Theorem on constants, deduction theorem.
      České cvičení
      • Program: Definovatelné množiny. Tablo metoda 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: Worksheet 6 Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • English Tutorial: Zoom recording URL
      Non disponible à moins que : Vous soyez membre de English tutorial
    • České cvičení: Příklady 6 Fichier
      Non disponible à moins que : Vous soyez membre de české cvičení
    • České cvičení: Zoom záznam Fichier
      Non disponible à moins que : Vous soyez membre de české cvičení
    • English tutorial: 3rd homework assignment Devoir
      Non disponible à moins que : Vous soyez membre de English tutorial
    • České cvičení: 3. domácí úkol Devoir
      Non disponible à moins que : Vous soyez membre de české cvičení
◄Week 12 (Dec 14-18)
►Week 10 (Nov 29-Dec 3)