University of Toronto - Winter
2006
Department of Computer Science
CSC 2542:
Topics in KR&R: Automated Reasoning
CSC2542 - Frequently Asked Questions
May I audit this course?
Yes please do! Nevertheless, we will ask you to give one presentation
of a paper.
What are the prerequisites for this course? The official
prerequisites are CSC2502 or CSC2512,
but we will be covering some of the critical introductory material in
the first few lectures, so with concerted effort you will be fine without
either as long as you've take an introductory AI course and have some
proficiency in logic and algorithms. Please come and talk to me if you
wish to take the course for credit but do not have the prerequisites.
Does this count as an AI breadth credit? Yes It counts for breadth
area IIIa.
Where is WB 144? It's the Wallberg building internally connected
to Pratt, so you don't have to go outside to attend this class. Check
out the
UofT searchable campus map, searching for "WB".