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 |