Basic Logic

9 units · Undergraduate

Fall: 9 units Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem. (Three 50 minute lectures) Prerequisites: 21-228 or 21-373 or 15-251 Course Website: https://www.cmu.edu/math/undergrad/math-course-information.html