2023 Fall
MATH 125A 001 - LEC 001
Mathematical Logic
Gabriel T Goldberg
Class #:22054
Units: 4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
0
Enrolled: 54
Waitlisted: 0
Capacity: 54
Waitlist Max: 5
No Reserved Seats
Hours & Workload
3 hours of instructor presentation of course materials per week, and 9 hours of outside work hours per week.
Final Exam
FRI, DECEMBER 15TH
07:00 pm - 10:00 pm
Haviland 12
Course Catalog Description
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.
Rules & Requirements
Repeat Rules
Course is not repeatable for credit.
Reserved Seats
Current Enrollment
No Reserved Seats
Textbooks & Materials
See class syllabus or https://calstudentstore.berkeley.edu/textbooks for the most current information.
Guide to Open, Free, & Affordable Course Materials
Associated Sections
None