21-600 Mathematical Logic I

12 units, Carnegie Mellon University

The study of formal logical systems, which model the reasoning of mathematics, scientific disciplines, and everyday discourse. Propositional Calculus and Firstorder Logic. Syntax, axiomatic treatment, derived rules of inference, proof techniques, computerassisted formal proofs, normal forms, consistency, independence, semantics, soundness, completeness, LowenheimSkolem Theorem, compactness, equality. 3 hrs. lec.

Prerequisites: 21-228 (min B) or 21-484 (min B) or 21-373 (min B)

Courseweave needs JavaScript to show sections, workloads and planning tools.