2006-2007, St. George campus Department of Computer
Science, University of
Toronto Instructor: Hector J. Levesque
Contact information:
here Lectures: Monday 1-3pm Room:BA B026
Tutorial: Thursday 4pm Room:BA B025
Instructor Office hours: TBA
Tutor Office hours: SF 3207, Tuesday 2:30-3:30
Textbook:Introduction to Programming in Prolog by Danny
Crookes.
End-of-SCI199 Pub Night:
When: Friday, May 11th, 8pm
Where: We meet at the usual tutorial room at BA B025 and then move to
some pub nearby.
Apr 24: The unofficial marks are posted. The official final marks
come from the faculty. You may pick up term work at my office on Monday Apr
30th, May 7th, or May 14th.
Apr 3: The class next week on Apr 9th will be the last lecture of
the year. We will go over some experiments psychologists have come up with to
investigate human reasoning, and answer any final questions about the essay
due on Apr 12th.
Mar 18: There will be no class on March 26th.
Mar 2 Special Notice: I am pleased to
announce that Prof. Geoffrey Hinton will be giving a guest lecture in the
class on March 19th. The title of his talk is "A Neural Network That Learns
to See."
Feb 5: We have had a request to change the TA office hours to
1:30pm on Tuesday. Please send me email if this causes problems for you.
This week (Feb 6th), the office hour will be at the regular 2:30pm time.
Jan 22: Next Monday, on Jan 29th, in the first hour of the lecture,
we will go over instructions on the Essay/Project for the course, worth 20% of
the final grade. Make sure you attend or have someone there to take notes for
you.
Jan 18: There will be an external review of the 199Y series
courses held on Jan 26th. If you want to participate,
here is the
documentation from the Dean's office.
Jan 4: Happy New Year! Assignment 5 is now out, for those who have
finished Assignment 4 and want to get started. Also see the Dec 7th note
below about the week of Jan 8th.
Dec 7: There will be no lecture, office hour or tutorial during the
week of Jan 8th. The first lecture of 2007 will be on Jan 15th, office hour
on Jan 16th, and tutorial on Jan 18th. Consequently, Assignment 4 can be
handed in without penalty on Jan 18th, but no later. For those who finish it
early and want to get started on the next one, Assignment 5 will be posted by
Jan 11th. Happy Holidays!
Nov 1: The next class, on Nov. 6th, will be a break from
Prolog. It will be a non-technical lecture on some topics related to the
course, in preparation for the essay that will be required next term.
Oct 30: As discussed in class today, from now on, tutor office
hours will be on Tuesdays from 2:30 to 3:30 in SF3207. For Oct 31st only,
there will be a second office hour from 3:30 to 4:30 in SF3207.
Oct 23: In Assignment 2, Question 1c, the trace is too long.
So just summarize it. Suggestion: handle any query that will fail in one
line by saying "... ultimately fails."
Oct 16: In Assignment 2, it says that everyone has two parents in
the database. It should say almost everyone.
Oct 5: The Course Information sheet also says that you cannot
discuss the assignments with people outside the course. This restriction is
lifted too, but you should explain who these other people are, and ideally
they should not be students taking more advanced courses.
Oct 4: The Course Information sheet says that you may only discuss
assignments with up to two people. Due to popular demand, this restriction is
lifted. However, you should still list who you discussed the assignment with
on the first page of your assignment.
Sep 29: Starting next week, we will have office hours on Tuesdays
from 3:30pm to 4:30pm in SF 3207.
Sep 26: If you are trying to use SWI-Prolog on a Macintosh with
Mac OS X, have a look here.
Sep 23: I have renamed the Lecture Notes to be Lecture 1, Lecture
2, etc instead of Week 1, Week 2, etc since they do not align very well with
the weeks themselves. The content is unchanged.
Sep 11: Contrary to the course information sheet, there will be no
tutorial this week. The first tutorial will be on Thurs Sept 21.
In the meantime, you should read Chapter 1 of the textbook, and confirm that
you can follow the computer instructions in the handouts below.