| Week | Assignment | Due |
|---|---|---|
| 1 | Chapter 1 quiz and Chapter 2 quiz and problem set in CMU OLI text | Fri. 4/8 at 11:59pm |
| 2 | Chapter 3 quiz and problem set in CMU OLI text | Fri. 4/15 at 11:59 pm |
| 3 | Chapter 4 quiz and problem set in CMU OLI text | Fri. 4/22 at 11:59 pm |
| 4 | Chapters 5 and 6 quizzes and problem sets in CMU OLI text | Mon. 5/2 at 11:59 pm |
| 5 | Online midterm in CMU OLI covering chapters 1-6 | from Tue. 5/3 until Sun. 5/8 at 11:59 pm |
| 7 | Induction (Assignment5.pdf - Submit to BBLearn) | Mon. 5/16 at 11:59 pm |
| 8 | Tautology Checker (assignment_6.rkt - Submit to BBLearn) | Fri. 5/27 at 11:59 pm |
| 9 | Boolean Simplifier (assignment_7.rkt - Submit to BBLearn) | Mon. 6/6 at 11:59 pm |