CMSC 27700
Mathematical Logic I (MATH 27700)Prerequisites: MATH 25400 or 25700.
Catalog Description: This course introduces mathematical logic. Topics include propositional and predicate logic and the syntactic notion of proof versus the semantic notion of truth (e.g., soundness, completeness). We also discuss the Gödel completeness theorem, the compactness theorem, and applications of compactness to algebraic problems.
Instructors: J. MiletiQuarter offered: Autumn
Last Verified by Sharon Salveter on 8 April, 2003.