The textbooks are:
The main (approximately 80% of the time) instructional delivery strategy for this course is lectures. Discussions based on student presentations, videos, quizzes or in-class exercises, and a possible invited talk will make up the remaining 20% of time. The first day of classes is Friday, August 20, 2010. The last day to withdraw without failure is Thursday, October 7, 2010. The last day of classes is Friday, December 3, 2009. The final exam for the course is Tuesday, December 7, 2010, at 9am in the classroom (SWGR 2A21). This is the regularly scheduled time for courses taught from 1010 to 1100 on Mondays, Wednesdays and Fridays. (See the university exam schedule.)
Please see elsewhere in the web pages for the course for additional administrative information.
| Week | Lecture Topics |
|---|---|
| 1: August 20 | Introduction (Ch.1 [S]) |
| 2: August 23, 25, 27 | Introduction; FP (Ch.1 [S] and notes) |
| 3: August 30, September 1, 3 | Haskell (Chs.1-3 [H]) |
| 4: September 8, 10 | Haskell (Chs.4-5 [H]) |
| 5: September 13, 15, 17 | Haskell (Chs.6-8) |
| 6: September 20, 22, 24 | Haskell (Chs. 9-10 [H]) and midterm |
| 7: September 27, 29; October 1 | Functional Programming and the FP Language (Ch.14 [T], and video) |
| 8: October 4, 6, 8 | Haskell (Chs.11-13: videos by Graham Hutton and Erik Meijer) |
| 9: October 11, 13 | Prolog (Ch.11 [S], notes) |
| 10: October 18, 20, 22 | Syntax and Semantics (Parts of Ch.2 [S] and notes) |
| 11: October 25, 27, 29 | Names, Scopes, and Bindings; Operational Semantics (Parts of Ch.3 [S] and notes, including parts of Ch.2 in [G]) |
| 12: November 1, 3, 5 | Control Flow and Data Types (Parts of Chs.6-7 [S]) |
| 13: November 8, 10, 12 | Subroutines and Control Abstractions (Ch.8 [S]) |
| 14: November 15, 17, 19 | Data Abstraction and Object Orientation (Ch.9 [S]) |
| 15: November 22 | Student Presentations |
| 16: November 29; December 1, 3 | Student Presentations |