CS 15-199: Discovering Logic   (Spring 2011)

Course Information  [  Logistics  |  Course Links  |  Calendar of Classes  |  Coursework Calendar  ]


   (Your comments will be sent anonymously to the instructors)

Lectures:  Mo   10:30 - 11:50 (room 2052)
Recitations:  We   4:00 - 4:50 (room 2035)

Class Webpage:   http://qatar.cmu.edu/cs/15199

Instructor: Iliano Cervesato
Office hours:  by appointment (check schedule)
Office:  CMU-Q 1008

Course Links

Calendar of Classes

Click on a class day to go to that particular lecture or recitation. Due dates for homeworks are set in bold. The due date of the next homework blinks.

Coursework Calendar

© 2011 Iliano Cervesato