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
21600 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 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. Prerequisites: 21373 or 21484 recommended. 