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. Student presentations will be spread throughout the second half on the course. The first day of classes is Thursday, August 20, 2015. The last day to withdraw without failure is Monday, October 12, 2015. The last day of classes is Thursday, December 3, 2014. The final exam is Thursday, December 10, 2014, from 1230-1500 in the classrooms (SWGR 2A31). This is the regularly scheduled time for courses taught from 1315-1430 on Tuesdays and Thursdays. According to university policy, the exam will last two-and-a-half hours. (See the university exam schedule.)
See here for the fall 2015 academic calendar.Please see elsewhere in the web pages for the course for additional administrative information.
Week | Lecture Topics |
---|---|
1: August 20 (Thursday only) | Introduction (Notes) |
2: August 25, 27 | The Prolog Language (Chapters 2-3 [L]) |
3: September 1, 3 | Writing Prolog Programs (Chapter 4 [L]) |
4: September 8, 10 | Case Study: Satisfying Constraints (Chapter 5 [L]) |
5: September 15, 17 | Case Study: Interpreting Aerial Sketch Maps; Lists in Prolog (Parts of Chapter 6 [L], Chapter 7 [L]) |
6: September 22, 24 | Case Study: Understanding Natural Language (Chapter 8 [L]) |
7: September 29, October 1 | Discussion or Review; Midterm |
8: October 4, 8 | FP (Video; Section 7.3 [G&J, 1987]) |
9: October 13, 15 | Haskell: Introduction, Types, and Classes (Chs.1-3 [H]) |
10: October 20 (Tuesday only) | Haskell: Defining Functions (Ch.4 [H]) |
11: October 27, 29 | Haskell: List Comprehensions and Recursive Functions (Chs.5-6 [H]) |
12: November 3, 5 | Haskell: Higher-order Functions (Ch.7 [H]) |
13: November 10, 12 | Haskell: Functional Parsers and Interactive Programs (Chs.8-9 [H]) |
14: November 17, 19 | Haskell: Declaring Types and Classes and the Countdown Problem (Chs10-11 [H]) |
15: November 24 (Tuesday only) | Syntax (Notes based on [T]; Section 2.1.1 [G&J]) |
16: December 1, 3 | Syntax and Semantics (Notes based on ch.9 [G&J, 1987]; Chapter 2 [G&J]) |