This is a course on the theory of computing. See the syllabus, which includes the following sections.
MWF 2:00–2:50pm |
Th 9:30–11:30am |
or by appointment |
See Rice's theorem for a proof of Rice's theorem.
Exam 1 | Monday, September 16 | |
Exam 2 | Monday, September 30 | |
Exam 3 | Monday, October 28 | |
Exam 4 | Monday, November 11 | |
Exam 5 | Monday, November 25 | |
Final exam | Section 1: Wednesday, December 11, 8:00–10:30 Section 2: Monday, December 9, 11:00–1:30 |
Assignment | Assigned | Due | ||
---|---|---|---|---|
Assignment 1 | 8/30 | 9/9 | ||
Assignment 2 | 9/16 | 9/23 | ||
Assignment 3 | 10/9 | 10/16 | ||
Assignment 4 | 10/28 | 11/4 | ||
Assignment 5 | 11/11 | 11/18 |