Section outline

◄Week 6 (Nov 1-5)
►Week 4 (Oct 18-22)
    • English lecture
      • Program: Formal proof systems. Tableau method for propositional logic, tableau proof and refutation, systematic tableaux, finiteness of proofs.
      English tutorial
      • Program: Properties of theories, semantic notions, extensions, consequences. Lindenbaum-Tarski algebra, counting up to equivalence and T-equivalence. Intro to tableaux.
      České cvičení
      • Program: státní svátek
      Non disponible à moins que : Vous soyez membre d'un groupe
    • English tutorial: 1st homework assignment Devoir
      Non disponible à moins que : Vous soyez membre de English tutorial
    • Atomic tableaux Fichier
      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 3 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í
◄Week 6 (Nov 1-5)
►Week 4 (Oct 18-22)