- 15-317 Constructive Logic (Spring 2021)
|Instructor: ||André Platzer
(office hour: TBA)
Julia Gu juliag1@andrew
Akshina Gupta akshinag@andrew
Zhibo Chen zhiboc@andrew
Avery Cowan acowan@andrew
Ethan Rosenthal emrosent@andrew
|Semester: ||Spring 2021
|Time: ||TR 8:20-9:40 CMU Remote
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.