|
Graduate Programs
Graduate Home
Ph D Programs
Masters Degree
Ph D Program Requirements
Course Descriptions
Current Courses
Admissions
Current Graduate Students
Graduate Student Seminar
SIAM Chapter Seminar
Recent Graduates
Incoming Students
|
Graduate Courses
21-600 Mathematical Logic I Fall: 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. |
