MATH 260A. Mathematical Logic I (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/MATH.html#math260a
Description
Propositional calculus and first-order logic. Theorem proving, Model theory, soundness, completeness, and compactness, Herbrand’s theorem, Skolem-Lowenheim theorems, Craig interpolation. Prerequisites: graduate standing or consent of instructor.
Prerequisite courses
MATH 260A has no prerequisite courses.
Successor courses
MATH 260A is a prerequisite of the following 1 courses: