MATH402
Download as PDF
MATH402 - Mathematical Logic
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
May be convened with
MATH502
Name
Lecture
Workload Hours
3
Optional Component
No
Typically Offered Main Campus
Fall (even years only)