This course is the first quarter of the sequence Mathematics 114AB, "Logic and Computability." In recent years, the first quarter, Math 114A, has been devoted to logic. But this year, the order of the topics is reversed. Math 114A, in winter quarter of 2007, will be on computability theory. It will be followed in spring quarter by Math 114B, on logic, taught by Professor Moschovakis.
Instructor for 114A: Herbert B. Enderton.
hbe@math.ucla.edu Office MS 7905. Office hours Mon & Wed 2:00-3:30. Also we have "virtual office hours" for the course.Teaching Assistant: John W. Kittrell.
kittrell@math.ucla.edu Office MS 2961. Office hours Thurs 4:30-5:30.Topics for 114A:
Prerequisites: There is no specific body of information that is required. But our main order of business is proving theorems (not calculating numbers or writing programs). For this reason, you should have some positive experience with proofs before taking this course.
Textbook for 114A: The only text will be course notes, which will be posted on the website.
Homework: Yes! Although the homework problem sets account for only a small part of the course grade, you should definitely do them, in order to master the material. Besides, every little bit helps, especially if the tests do not all go well. Late homework will normally not be graded.
Tests: There will be a first midterm exam on Wednesday, January 31, and a second midterm on Friday, March 2. The final exam is on Wednesday, March 21, 8:00-11:00 a.m. (exam code 2).
Grading: The final exam constitutes a large part of the grade. The two midterms together constitute another large part. The homework accounts for a small part. ("Large" means 40-50%. "Small" means no more than 10%.) To get an Incomplete grade, you must be doing passing work when struck by unforeseen external disaster.
114A website: http://www.math.ucla.edu/~hbe/114a.1.07w