Math 160AB - Mathematical Logic - Course Homepage
Instructor: Sam Buss
Winter-Spring 2002, Univ. of California, San Diego

Instructor: Sam Buss.   Email:   Phone: 534-6455.  Office: APM 6210.

T.A. Graham Hazel,

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

Homework Assignments.

Midterm: Friday, May 10.

Quizes: Schedule and topics.