- 15-317 Constructive Logic (Spring 2021)
Instructor: | André Platzer
(office hour: TBA)
|
Teaching Assistants: |
Julia Gu juliag1@andrew
Akshina Gupta akshinag@andrew
Zhibo Chen zhiboc@andrew
Avery Cowan acowan@andrew
Ethan Rosenthal emrosent@andrew
|
Units: | 9 |
Semester: | Spring 2021 |
Time: | TR 8:20-9:40 CMU Remote |
Recitation: |
A: W 9:10-10:00 CMU Remote, Julia Gu
B: W 10:30-11:20 CMU Remote, Akshina Gupta
C: W 11:40-12:30 CMU Remote, Zhibo Chen
|
| This course is listed in the Computer Science Department as 15-317/15-657 at Carnegie Mellon University.
It counts as a Logics/Languages elective in the Computer Science curriculum. |
|
Questions
Schedule
Piazza
|