Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations
Home
|
|
Graduate Courses
21-600 Mathematical Logic I
12 units
The study of formal logical systems which model the reasoning of mathematics, scientific disciplines, and everyday discourse. Propositional Calculus and First-order Logic. Syntax, axiomatic treatment, derived rules of inference, proof techniques, computer-assisted formal proofs, normal forms, consistency, independence, semantics, soundness, completeness, Lowenheim-Skolem Theorem, compactness, equality. Prerequisites: 21-373 or 21-484 recommended.
|
