| Num | Day | Date | Topics Covered | Materials |
|---|---|---|---|---|
| 1 | M | 26 Jan | Parallelism | reading |
| 2 | W | 28 Jan | Computing by calculation | reading |
| 3 | M | 2 Feb | Programming and Proving I: Numbers | reading, SML code |
| 4 | W | 4 Feb | Programming and Proving II: Lists | reading (not Sec 3.2 and 3.4) |
| 5 | M | 9 Feb | Asymptotic Analysis | reading |
| 6 | W | 11 Feb | Sequential Sorting | reading, SML code |
| 7 | M | 16 Feb | Parallel Sorting | reading , SML code |
| 8 | W | 18 Feb | Mergesort Analysis; Polymorphism | reading |
| 9 | M | 23 Feb | Higher-order Functions I | reading, code |
| 10 | W | 25 Feb | Higher-order Functions II | reading, code |
| 11 | M | 2 Mar | Choices | lib, SML code, C0 code |
| 12 | W | 4 Mar | Midterm | |
| 13 | M | 23 Mar | Datatypes | reading |
| 14 | W | 25 Mar | Sequences | reading |
| 15 | M | 30 Mar | n-body Simulation | reading, see HW7 for code |
| 16 | W | 1 Apr | Modules I: Signatures, Structures | reading |
| 17 | M | 6 Apr | Modules II: Description and Prescription | reading 1 |
| 18 | W | 8 Apr | Modules III: Dictionaries | reading, code |
| 19 | M | 13 Apr | Tail recursion | reading |
| 20 | W | 15 Apr | HW Office Hours | |
| 21 | M | 20 Apr | Machine Learning I | See HW9 |
| 22 | W | 22 Apr | Machine Learning II | See HW9 |
| 23 | M | 27 Apr | Scheduling | reading |
| 24 | W | 29 Apr | Parallelism and Effects | reading |
| 25 | M | 4 May | HW9 Review | |
| 26 | W | 6 May | Two kinds of beauty | slides |
| Fri | 15 May, 9am, Exley 58 | 3-hour final exam |
Note that the schedule is subject to change.