Topics in Mathematical Logic
Prerequisites: MATH 313 or MATH 351 or permission of the instructor.
This course will be a mathematical study of the concepts of truth and proof and how they relate to each other. The main topics to be covered are propositional logic, first order predicate logic, computability and undecidability results.
Outcomes: Students will develop proof writing skills, expand mathematical literacy, understand the expressive power and limitations of propositional and predicate logics and learn the mathematical meaning of "truth" and "proof".
This course will be a mathematical study of the concepts of truth and proof and how they relate to each other. The main topics to be covered are propositional logic, first order predicate logic, computability and undecidability results.
Outcomes: Students will develop proof writing skills, expand mathematical literacy, understand the expressive power and limitations of propositional and predicate logics and learn the mathematical meaning of "truth" and "proof".