Week 3 (Oct 11-15)
Osnova sekce
-
-
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.
-
English lecture: Zoom recording URL
-
English tutorial: Worksheet 2 Soubor
-
English Tutorial: Zoom recording (part 2) Soubor
-
English Tutorial: Zoom recording (part 1) Soubor
-
České cvičení: Příklady 2 Soubor
-
České cvičení: Zoom záznam Soubor
-