Search Results

MATH 3710. Introduction to Mathematical Logic. 3 Credits.

Symbolic logic as a precise formalization of deductive thought. Logical correctness of reasoning. Formal languages, interpretations, and truth. Propositional logic and first-order quantifier logic suited to deductions encountered in mathematics. Goedel’s completeness theorem; compactness. Prerequisite: MATH 2971 or permission of instructor.

Master of Science in the Field of Applied Mathematics

...graduate credit: MATH 3710 Introduction to Mathematical Logic , MATH 3720 Axiomatic Set Theory , MATH 3730...