MATH 280C LEC A: MATH LOGIC (45580)
Math 280C Spring 2019
Instructor Contact Information:
Office: RH 417
Office Hours: Mondays at 3pm
Office Phone: (949) 824-3792
Course Description: We will first cover Section 5 of the Martin notes; this section treats some basic results from Recursion theory. For the second half of the course, we will then switch over and cover most of Chapters 1 and 2 of the Moschovakis book, which starts with some basic facts on descriptive set theory and then proves some of the basic regularity results about analytic sets.
- Alternate references: For the Recursion theory portion of the course, good alternate references are "Computability theory: an introduction to recursion theory" by Enderton and "Recursively enumerable sets and degrees" by Soare. For the descriptive set theory portion of the course, a good alternate is "Classical descriptive set theory'' by A.S. Kechris.
Class Meetings: There are three hours of lecture a week: MWF 8-8:50 in RH 440R.
Homework: There will be 3 problem sets due in class on the Fridays of Weeks 3, 6, and 9. While there will be around 8-10 problems assigned for each set, I will only grade 4 problems from each set. Each problem will be worth 25 points, making each problem set worth 100 points. Please type up your solutions to the assignments. Homework is due during lecture of the day that it is due. Any homework turned in after lecture will be subject to a late penalty.
Final Exam There will be a take-home final exam given to you on the Friday of week 9 in class and due Monday, June 10, by 10am. The final exam will also be worth 100 points.
< 60 F
Any curving will take place after the final exam and will be at the discretion of the instructor.
The syllabus page shows a table-oriented view of the course schedule, and the basics of course grading. You can add any other comments, notes, or thoughts you have about the course structure, course policies or anything else.
To add some comments, click the "Edit" link at the top.