Introduction to Mathematical Logic

An introduction to mathematical logic covering Sentential and First Order Logic including the methodology of writing mathematical proofs; the course will look at logic from both the syntactic and semantic perspective. Topics include the deductive calculus, valid forms, the Soundness Theorem, and some programming in a functional language such as Scheme.Place out option for General Education Program: Students who score 630 or above on the SAT math or 28 or above on the ACT math may place out of the Research and Epistemology B: Numeracy and Quantitative Reasoning category. Students will not receive course credit for a course in this category, though will have satisfied the Research and Epistemology B: Numeracy and Quantitative Reasoning course requirement.