21-600 Mathematical Logic I

Units: 12.0 Department: Mathematical Sciences Prerequisites: 21-132 or 21-228 or 21-373 or 21-484 Related URLs: http://www.math.cmu.edu 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. 3 hrs. lec.

Popularity index Rank for this semester: #0 Rank in this department: #0   Students also scheduled 15-312 Foundations of Programming Language... 15-411 Compiler Design 15-499 Special Topic: Algorithms and Appli... 85-211 Cognitive Psychology 21-701 Discrete Mathematics 21-201 Undergrad Colloquium 57-457 Jazz History I 57-450 Jazz Ear Training 36-225 Introduction to Probability and Sta... 98-039 Student Taught Courses (StuCo): Int...

Spring 2005 times

No sections available for semester Spring 2005.