2025 Spring MATH 125A 001 LEC 001

Spring 2025

MATH 125A 001 - LEC 001

Mathematical Logic

Patrick George Lutz

Jan 21, 2025 - May 09, 2025
Mo, We, Fr
02:00 pm - 02:59 pm
Wheeler 102
Class #:31393
Units:4

Instruction Mode: In-Person Instruction

Offered through Mathematics

Current Enrollment

Total Open Seats: 0
Enrolled: 60
Waitlisted: 0
Capacity: 60
Waitlist Max: 6
No Reserved Seats

Hours & Workload

3 hours of instructor presentation of course materials, and 9 hours of outside work hours.

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

Reserved Seating For This Term

Current Enrollment

No Reserved Seats

Textbooks & Materials

See class syllabus or https://calstudentstore.berkeley.edu/textbooks for the most current information.

Textbook Lookup

Guide to Open, Free, & Affordable Course Materials

eTextbooks

Associated Sections

None