Mathematical Logic
Prerequisite: MATH 201.
This course in modern mathematical logic begins with a study of propositional logic and leads to the study of first-order predicate logic, including quantifiers, models, syntax, semantics, the completeness and compactness theorems, and other selected topics.
Outcomes: Students will develop a fuller understanding of mathematical logic and therefore of the underlying theory behind proofs of mathematical assertions.
This course in modern mathematical logic begins with a study of propositional logic and leads to the study of first-order predicate logic, including quantifiers, models, syntax, semantics, the completeness and compactness theorems, and other selected topics.
Outcomes: Students will develop a fuller understanding of mathematical logic and therefore of the underlying theory behind proofs of mathematical assertions.