MATH 160A. Elementary Mathematical Logic I (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/MATH.html#math160a
Description
An introduction to 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 100A, or MATH 103A, or MATH 140A, or consent of instructor.
Prerequisite courses
Loading...
Successor courses
MATH 160A is a prerequisite of the following 1 courses: