This is a course on the theory of computing. See the syllabus, which includes the followinG sections.
MWF 10:00–10:50pm and MW 2:00–3:15 or by appointment.
See Rice's theorem for a proof of Rice's theorem.
See modified quiz dates. Assignment 4 is due on October 25. Note that assignment 5 is also due on the same day. See assignment due dates.
Modified quiz dates (post Hurricane Matthew):
Quiz 3 | Thursday, October 20 | |
Quiz 4 | Thursday, November 3 | |
Quiz 5 | Thursday, November 17 | |
Quiz 6 | Thursday, December 1 |
Assignment | Assigned | Due |
---|---|---|
Assignment 1 | 8/25 | 8/30 |
Assignment 2 | 9/8 | 9/13 |
Assignment 3 | 9/22 | 9/27 |
Assignment 4 | 10/4 | 10/25 |
Assignment 5 | 10/20 | 10/25 |
Assignment 6 | 11/3 | 11/8 |
Assignment 7 | 11/17 | 11/22 |