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.
      Non disponible à moins que : Vous soyez membre d'un groupe
    • English lecture: Zoom recording URL
      Non disponible à moins que : Vous soyez membre de English lecture
    • English tutorial: Worksheet 2 Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • English Tutorial: Zoom recording (part 2) Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • English Tutorial: Zoom recording (part 1) Fichier
      Non disponible à moins que : Vous soyez membre de English tutorial
    • České cvičení: Příklady 2 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í
◄Week 4 (Oct 18-22)
►Week 2 (Oct 4-8)