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