The CIM Courses system will be down temporarily undergoing routine maintenance.
MATH 3710 : Introduction to Mathematical Logic
Mon, 13 Feb 2017 19:57:28 GMT
Catalog Pages referencing this course
Programs referencing this course
Columbian College of Arts and Sciences
Long Course Title
Introduction to Mathematical Logic
Short Course Title
Intro to Mathematical Logic
Number of Credits
Default Grading Method
Repeatable for Credit?
MATH 2971 or permission of instructor
Frequency of Offering
Are there Course Equivalents?
Are Fees Applicable?
Explanation and Description of Fees
Are Additional Resources Required?
Explanation of Additional Resources
Justification for Additional Resources
Describe any Sources of Additional Funding
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.
Uploaded a Course Syllabus
Explanation of how the course differs from similar GW courses
CCAS - GCR: Q & L
Course Reviewer Comments