Fall 2015 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 330-5P 107 GPBRIDEAU, S54254
Units/CreditFinal Exam GroupEnrollment
420: FRIDAY, DECEMBER 18, 2015 7-10PLimit:36 Enrolled:24 Waitlist:0 Avail Seats:12 [on 10/04/15]

Note: Enrollment instructions are available at math.berkeley.edu/courses/enrollment-scheduling.

Additional Information: 

Prerequisites: Math 113 or consent of instructor.

Syllabus: Sentential and quantificational logic. Formal grammar, semantical interpretation, formal deduction, and their interrelation. Applications to formalized mathematical theories. Selected topics from model theory or proof theory.

Office: 

Office Hours: 

Required Text: 

Recommended Reading: 

Grading: 

Homework: 

Course Webpage: