MATH125A
Download as PDF
Mathematical Logic
Course Title
Mathematical Logic
Course 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.
Minimum
4
Maximum
4
Grading Basis
Default Letter Grade; P/NP Option
Method of Assessment
Written Exam
American Cultures Requirement
No
Reading and Composition Requirement
None of the Reading and Composition Requirement
Prerequisite
Complete ALL of the following Courses:
Repeat Rules
Course is not repeatable for credit.
Credit Restriction Courses. Students will receive no credit for this course if the following the course(s) have already been completed.
-
Formats
Lecture
Term
Fall and Spring
Duration (in weeks)
15
Minimum Hours
3
Maximum Hours
3
Outside Work Hours Min
9
Maximum Hours
9