Preview Workflow

The CIM Courses system will be down temporarily undergoing routine maintenance.

Viewing: MATH 3710 : Introduction to Mathematical Logic

Last edit: Mon, 13 Feb 2017 19:57:28 GMT

Catalog Pages referencing this course
Programs referencing this course
Columbian College of Arts and Sciences
Mathematics (MATH)
MATH
3710
Introduction to Mathematical Logic
Intro to Mathematical Logic
3
Course Type
Lecture
Default Grading Method
Letter Grade

No
No
MATH 2971 or permission of instructor
Corequisites



Frequency of Offering

Term(s) Offered

Are there Course Equivalents?
No
 
No
Fee Type


No


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

Course Attribute
CCAS - GCR: Q & L

Key: 5774