CS 15-199: Discovering Logic
(Spring 2013)

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

   (Your comments will be sent anonymously to the instructors)


Lectures:  Su   3:00 - 4:20 (room 2051)
Recitations:  Tu   3:00 - 3:50 (room 2051)

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

2013 Iliano Cervesato