Math 160AB - Mathematical Logic - Course Homepage
Instructor: Sam Buss
Winter-Spring 2002, Univ. of California, San Diego
Instructor: Sam Buss. Email: email@example.com. Phone: 534-6455. Office: APM 6210.
T.A. Graham Hazel, firstname.lastname@example.org
Lectures: MWF 10:10-11:00. Center 220.
Section: Thursday 4:40, HSS 1138
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.
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.
Quizes: Schedule and topics.