CS 15-199: Discovering Logic
(Fall 2014)

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

(Your comments will be sent anonymously to the instructors)


Lectures: Mo15:00 - 16:20(2052)
Recitations:We15:00 - 16:20(2052)
Class Webpage: http://qatar.cmu.edu/cs/15199

Office hours:
       Iliano Cervesato
by appointment
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

2014 Iliano Cervesato