University of Toronto - Winter 2006
Department of Computer Science

CSC 2542: Topics in KR&R: Automated Reasoning

Grading


Students' grades will be determined by written reports on assigned readings, class presentations on the assigned readings, class participation, a warm-up assignment, and on a course project. Roughly, we expect students to give three presentations throughout the term, one of which will be on the topic of their course project.

The grading breakdown is as follows:

On weeks in which the student gives a presentation they need not hand in a written report on the assigned readings.

There is no exam.