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

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