The textbooks are:
The last day to withdraw without failure is Thursday, October 3, 2002. The final exam for the course will take place on Friday, December 13, 2002, at 9am in the classroom (SWGR 2A27).
Please see elsewhere in the web pages for the course for additional administrative information.
Week Begins | Topic | Lecture #1 | Lecture #2 | Lecture #3 | Homework |
---|---|---|---|---|---|
(1) August 23 | Introduction | None | None | (1) Introduction | None |
(2) August 26 | Syntax and Semantics | (2) Ch.1 [G] | (3) Ch.2 [G] | (4) Ch.2 [G] | TBD |
(3) September 2 | Syntax and Semantics (Ctd.) | Labor Day--No Class | (5) Ch.2 [G] | (6) Ch.2 [G] | TBD |
(4) September 9 | Syntax and Semantics (Ctd.) | (7) Ch.2 [G] | (8) Ch.2 [G] | (9) Ch.2 [G] | TBD |
(5) September 16 | Synatx and Semantics (Ctd.) | (10) Ch.2 [G] | (11) Ch.2 [G] | (12) Ch.2 [G] | TBD |
(6) September 23 | Review, Oral Presentations, and Test | (13) Chs 1-2 [G] | (14) Ch.1-2 [G] | (15) Test | TBD |
(7) September 30 | Functional Programming | (16) Ch.7 [G] | (17) Ch.7 [G] | (18) Ch.7 [G] | FP programs |
(8) October 7 | ML | (19) [U] | (20) [U] | (21) [U] | TBD |
(9) October 14 | Fall Break and ML (Ctd.) | No Class | (22) ML [U] | (23) ML [U] | TBD |
(10) October 21 | ML (Ctd.) | (24) ML [U] | (25) ML [U] | (26) ML [U] | TBD |
(11) October 28 | ML and Test 2 | (27) ML [U] | (28) ML [U] | (29) Test 2 | TBD |
(12) November 4 | Logic Programming | (30) Ch.8 [G] | (31) Ch.8 [G] | (32) Ch.8 [G] | TBD |
(13) November 11 | Logic Programming (Ctd.) | (33) Ch.8 [G] | (34) Ch.8 [G] [J96] | (35) Ch.8 [G] | TBD |
(14) November 18 | Belief Updating (Ctd.) | (36) Ch.5 [J01], Ch.4 [J96] | (37) Ch.5 [J01], Ch.4 [J96] | (38) Ch.5 [J01], Ch.4 [J96] | TBD |
(15) November 25 | Control Structures and Thanksgiving | (39) Ch.4 [G] | No Class | No Class | TBD |
(16) December 2 | Control Structures and Selected Topic | (40) Ch.4 [G] | (41) TBD | (42) TBD | TBD |