Due at the end of Week 2:
Week 6
Due on Monday of Week 7: Problems 1–3 in Notes 4: Term Models (PDF)
Week 8
Due on Monday of Week 10: Problem Set 1 (PDF)
Week 10
Due at the end of Week 10: Problem 18 from Notes 5: Scheme Computability, Part I (PDF)
Week 12
Due on Wednesday of Week 13: Final Problem Set, 6 of these 10 problems:
Week 13
Due at the beginning of this week: Course project (PDF) proposals
Week 14
Due at the end of this week: Term project (PDF)