CS 15-199: Discovering Logic
Lectures: Mo 10:30 - 11:50 (room 2147)
Class Webpage: http://qatar.cmu.edu/cs/15199
Office hours: by appointment (check schedule)
Office: CMU-Q 1008
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|
date:Friday, 26-Apr-2019 16:59:06 GMT.