Course ID
020944
Course Description
[Taught Fall semester in even-numbered years] Sentential calculus, predicate calculus; consistency, independence, completeness, and the decision problem. Designed to be of interest to majors in mathematics or philosophy.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Undergraduate
Course Requisites
MATH 122B or MATH 125; experience with theoretical mathematical reasoning. Credit allowed for only one of these courses: MATH 402 or MATH 401A.
May be convened with
MATH502
Component
Lecture
Optional Component
No