Lectures
Lecture Videos and Slides
| # | Material | Slides and Videos | Reading | |
|---|---|---|---|---|
| 1 | Course Intro | Video | ||
| 2 | Formalizing "Problem" | Video | ||
| 3 | Applications; Propositional Logic | Video | ||
| 4 | Propositional Logic | Video | ||
| 5 | Logical Consequence and Equivalence | Video (Slides) | ||
| 6 | CNF, SAT, Resolution, Backtracking) | Video (Slides) | ||
| 7 | Representing Problems as SAT | Slides; Video i); Video ii | Course Notes on Representing Problems as SAT | |
| 8 | First Order Logic (FO) | Slides; Video; | ||
| 9 | FO Definability | Slides; Video; | Supplementary Examples | |
| 10 | Example Problem Specifications | Slides; Video; |
Updated Thu Dec. 03 2020, 15:17 by dgm.