MATH 635 - Mathematical Logic

Units: 4
First order languages, a Sequent Calculus, rules for formal proofs, The Completeness Theorem, Compactness, Godel’s Incompleteness Theorems. Selected topics from model theory, set theory, metamathematics.

Prerequisites: MATH 300.
Possible Instructional Methods: Entirely On-ground.
Grading: A-F grading only.
Student Learning Outcomes - Upon successful completion of this course students will be able to:

Apply the fundamental definitions and theorems of mathematical logic.
Apply the techniques of mathematical logic to solve problems.