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
      Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
    • English tutorial: 1st homework assignment Aufgabe
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • Atomic tableaux Datei
      Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
    • English lecture: Zoom recording Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English lecture
    • English tutorial: Worksheet 3 Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • English Tutorial: Zoom recording Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • České cvičení: Zoom záznam Datei
      Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
◄Week 6 (Nov 1-5)
►Week 4 (Oct 18-22)