Osnova sekce

◄Week 5 (Oct 25-29)
►Week 3 (Oct 11-15)
    • English lecture
      • Program: SAT solvers, Horn-SAT, unit propagation. Theories, semantic notions, consequences. Lindenbaum-Tarski Algebra
      English tutorial
      • Program: Converting formulas to CNF and DNF, 3-SAT, 2-SAT, implication graph. Horn-SAT, unit propagation. Encoding problems in SAT.
      České cvičení
      • Program: Normální formy, CNF a DNF, SAT, 3-SAT, 2-SAT a implikační algoritmus, Horn-SAT a jednotková propagace.
    • English lecture: Zoom recording (Fall 2021) Soubor
    • English lecture: Zoom recording (Fall 2020) Soubor
    • English Tutorial: Zoom recording Soubor
    • České cvičení: Zoom záznam Soubor
◄Week 5 (Oct 25-29)
►Week 3 (Oct 11-15)