Section outline

◄Week 7 (Nov 8-12)
►Week 5 (Oct 25-29)
    • English lecture
      • Program: Soundness and Completeness of Tableau method in propositional logic. Compactness theorem. Resolution in propositional logic. Soundness of resolution. Resolution proof, resolution tree, resolution closure.
      English tutorial
      • Program: Properties of theories. Tableau method in propositional logic.
      České cvičení
      • Program: Kódování problémů do SAT. Vlastnosti výrokových teorií, sémantické pojmy, extenze, důsledky. Lindenbaum-Tarski algebra výroků. Tablo metoda ve výrokové 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 4 Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • 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í
    • České cvičení: Příklady 3 Fichier
      Non disponible à moins que : Vous soyez membre de české cvičení
    • České cvičení: 1. domácí úkol Devoir
      Non disponible à moins que : Vous soyez membre de české cvičení
◄Week 7 (Nov 8-12)
►Week 5 (Oct 25-29)