Math 160AB - Mathematical Logic - Course Homepage
Instructor: Sam Buss
Winter-Spring 2002, Univ. of California, San Diego
Instructor: Sam Buss. Email: sbuss@ucsd.edu. Phone: 534-6455. Office: APM 6210.
T.A. Graham Hazel, ghazel@math.ucsd.edu
Schedule:
Lectures: MWF 10:10-11:00. Center 220.
Section: Thursday 4:40, HSS 1138
Office hours:
Sam Buss: APM 6210.
Office hours: Monday 9:00-9:50,
Tuesday 10:00-11:00, Wednesday 2:00-3:00.
Graham Hazel. APM 6402C
Office hours: Monday 3-4, Tuesday 1-2, Thursday
4:30-5:30.
New announcements:
James has written a Java
program that simulates Turing machines.
Organizational matters. (Textbook, syllabus, prerequisites, grading.)
Theorem sequence. For proof by students as in-class presentations. Also available in postscript format
Midterm: Friday, May 10.