Fall 2005, St. George campus Department of Computer
Science, University of
Toronto Instructor: Hector J. Levesque
Contact information:
here Lectures: Tuesday and Thursday 2pm Room:BA2135
Tutorial: Thursday 3pm Room:BA2135
Instructor Office hours: Friday 10-11:30am
Tutor Office hours: TBA
Jan 8: Unofficial final marks are posted.
Official final marks come from the faculty.
Dec 20: I will leave all unclaimed term work in a box outside PT
398E until Wednesday Dec. 21 at 5pm (when the University closes for the
holidays). After that, the rest will go to the Computer Science Union.
Dec 15: All the term marks are now posted. Unofficial final marks
may not be available until January. Check here for updates.
Nov 24: The solution to the problem discussed today in class is here.
Oct 26: Assignment 3 is mistakenly labelled "Assignment 2" at the
top of the first page.
Oct 14: In case it isn't obvious in Assignment 2,
(a =/= b) is an abbreviation for ¬ (a=b).
Sep 26: Two errors on Assignment 1: a missing round parenthesis at
the end of Question 2d), and the predicate symbol P in Question 4 is
unary, not binary.
Sep 26: On Slide 37 of Truth, in the proof, Fred is grouped with
Gina and Henry, but should be grouped with Dan and Eve since like them, he
reports to Bob.
Sep 9: The course information sheet was changed from yesterday's
version. (New dates in the rough calendar.)
Sep 8: The course information sheet is available in the handout
section below.
The Lectures Notes will
be made available here for download. You will need a password to access these files, which will be given in
class.
There is no other textbook for the course.