Mathematics

MATH160 Mathematical Logic I

Propositional and predicate calculus. Resolution, completeness, compactness, and Lowenheim-Skolem theorem. Recursive functions, Godel incompleteness theorem. Undecidable theories. Hilbert's 10th problem.

Requirements

Prerequisite(s): MATH 100 or CSE 101.

Credits

5