MATH502
Download as PDF
MATH502 - 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. Graduate-level requirements include more extensive problem sets or advanced projects.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Graduate
Course Attributes
CE - CL (Cross Listed)
Cross Listed Courses
May be convened with
MATH402
Name
Lecture
Workload Hours
3
Optional Component
No
Typically Offered Main Campus
Fall (even years only)