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