|Asst 1||50||Imperative program reasoning and undefinedness||Tue 02/13|
|Asst 2||50||Substituting program reasoning||Tue 02/20|
|Asst 3||50||Methods and fun with games||Thu 04/05|
|White paper||20||Project White Paper||Tue 03/20|
|Midterm||150||Midterm Exam||Tue 03/27|
|Term paper||180||Project Term Paper||Thu 05/03|
The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.