CS 15-199: Discovering Logic
(Spring 2010) |
Lectures: Mo 10:30 - 11:50 (room 2147)
Class Webpage: http://qatar.cmu.edu/cs/15199
Instructor: | Iliano Cervesato
Office hours: by appointment (check schedule) Office: CMU-Q 1008 Email: |
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.
© 2010 Iliano Cervesato |