Section outline

◄Week 4 (Oct 18-22)
►Week 2 (Oct 4-8)
    • English lecture
      • Program: Adequacy of logical connectives. Normal forms, CNF and DNF, SAT and SAT solvers. 2-SAT, implication graph algorithm.
      English tutorial
      • Program: Adequacy of logical connectives. Expressing properties in predicate logic. Theories. Normal forms, CNF and DNF. 
      České cvičení
      • Program: Univerzálnost logických spojek. Vyjadřování vlastností v predikátové logice. Teorie. Normální formy, CNF a DNF, SAT, 3-SAT.
      Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
    • English lecture: Zoom recording Link/URL
      Nicht verfügbar, es sei denn: Sie gehören zu English lecture
    • English tutorial: Worksheet 2 Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • English Tutorial: Zoom recording (part 2) Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • English Tutorial: Zoom recording (part 1) Datei
      Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
    • České cvičení: Příklady 2 Datei
      Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
    • České cvičení: Zoom záznam Datei
      Nicht verfügbar, es sei denn: Sie gehören zu české cvičení
◄Week 4 (Oct 18-22)
►Week 2 (Oct 4-8)