Kurs: Propositional and Predicate Logic, Woche: Week 4 (Oct 18-22) | DL 1

DL 1

Section outline

- Select activity English lecture Program: SAT solvers, Horn-SAT,...
  
  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.
  
  Nicht verfügbar, es sei denn: Sie gehören zu einer Gruppe
- Select activity English lecture: Zoom recording (Fall 2021)
  
  English lecture: Zoom recording (Fall 2021) Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English lecture
- Select activity English lecture: Zoom recording (Fall 2020)
  
  English lecture: Zoom recording (Fall 2020) Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English lecture
- Select activity English Tutorial: Zoom recording
  
  English Tutorial: Zoom recording Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu English tutorial
- Select activity České cvičení: Zoom záznam
  
  České cvičení: Zoom záznam Datei
  
  Nicht verfügbar, es sei denn: Sie gehören zu české cvičení