| Module Num | Module Name | Slides | Book Chapters |
|---|---|---|---|
| 0 | Course Introduction | Course Introduction | - |
| 1 | Intro, Proofs, Cardinality | What is a computer? (pdf) | - |
| Review of proofs (pdf) | Chapters 0.2-0.4 | ||
| Set Cardinality (pdf) | - | ||
| 2 | Regular Languages | Regular Languages (pdf) | Chapter 1 |
| 3 | Context Free Grammars | CFGs (pdf) | Chapters 2 |
| 4 | Turing Machines | Turing Machines (pdf) | Chapter 3 |
| Decidability (pdf) | Chapter 4 | ||
| 5 | Complexity Theory | Complexity Theory (pdf) |