|
CS 15-199: Discovering Logic
(Fall 2015) |
|
|
CS 15-199: Discovering Logic
(Fall 2015) |
|
| Lectures: | Mo,We | 15:00 - 16:20 | (1190) |
|---|
| Instructors:
Office hours:
Office:
Email:
|
Iliano Cervesato
by appointment 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.
| 2015 Iliano Cervesato |