Fall 2014 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 2-330P 3 EVANSSLAMAN, T54224
Units/CreditFinal Exam GroupEnrollment
45: TUESDAY, DECEMBER 16, 2014 8-11ALimit:46 Enrolled:41 Waitlist:0 Avail Seats:5 [on 10/09/14]

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: