Fall 2021 MATH 125A 001 LEC
Mathematical Logic
Schedule:
Section | Days/Times | Location | Instructor | Class |
---|---|---|---|---|
001 LEC | TuTh 05:00PM - 06:29PM | Genetics & Plant Bio 103 | Antonio Montalban | 22320 |
Units | Enrollment Status | Session |
---|---|---|
4 | Open | 2021 Fall, August 25 - December 10 |
Additional Information:
Prerequisites Math 104 and 113 or consent of instructor
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.
Office
Office Hours
Required Text
Recommended Reading
Grading
Homework
Course Webpage