Math 5026 Topics in Logic (Computability Theory)
Fall 2020
Instructor | Reed Solomon |
david.solomon@uconn.edu | |
Office | 435 MONT |
Office Hours
My office hours are Monday 10:00-11:15 and Wednesday 12:15-1:15. However, I am around the Math Department in Monteith almost every day, so if you cannot make those times, you can stop by my office or send an email to request another time.
Syllabus
The syllabus is here. The
textbook is
Students with disabilities: Please contact me during office hours (or come by my office at another time) to discuss academic accommodations that may be needed during the semester due to a documented disability. If you have a disability for which you wish to request accommodations and have not contacted the Center for Students with Disabilities (CSD), please do so as soon as possible. The CSD engages in an interactive process with each student and reviews requests for accommodation on an individualized case-by-case basis. The CSD is located in Wibur Cross Room 204 and can be reached at 860-486-2020 or at csd@uconn.edu. Detailed information regarding the process to request accommodations is available on the CSD website.
Homework Assignments and Notes
- Some notes on register machines and primitive recursive function. Soare uses Turing machines are his basic model of computation, but I find register machines more natural as they connect directly to modern computers.
- Homework 1 due Friday February 7.
- To give people extra practice on using the s-m-n theorem before we do more complicated index set reductions next week, you can do some Homework 1 extra credit problems, due Friday February 21.
- Homework 2 due Friday February 28.