MATH 160B. Elementary Mathematical Logic II (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/MATH.html#math160b
Description
A continuation of recursion theory, set theory, proof theory, model theory. Turing machines. Undecidability of arithmetic and predicate logic. Proof by induction and definition by recursion. Cardinal and ordinal numbers. Completeness and compactness theorems for propositional and predicate calculi. Prerequisites: MATH 160A or consent of instructor.
Prerequisite courses
Loading...
Successor courses
No courses have MATH 160B as a prerequisite.