MATH401A
Download as PDF
MATH401A - Symbolic Logic
Course Description
Intermediate propositional logic and quantificational theory, natural deduction, axiom systems, elementary metatheorems, introduction to notions of modal logic, selected topics in philosophy of logic. Credit allowed for only one of these courses: PHIL 401A, PHIL 402.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Undergraduate
Course Attributes
CE - CL (Cross Listed)
Cross Listed Courses
May be convened with
MATH501A
Name
Lecture
Workload Hours
3
Optional Component
No
Typically Offered Main Campus
Fall