01:640:461 - Mathematical Logic

Course Code: 01:640:461
Semester(s) Offered: Spring
Credits: 3
Counts toward math major/minor?: Yes
Prerequisites: Math 300 and Calc III

General Information (Catalog listing)

Intuitive and formal development of the sentential and predicate calculus. Special emphasis given to questions of consistency, completeness, and independence. Formal systems; incompleteness and undecidability; theorems of Gödel. Exploration of which properties of structures can be defined in the first-order language.
Prerequisite: CALC3 and either 01:640:300 or permission of department

Textbook

Textbook: For current textbook please refer to our Master Textbook List page

Sample Syllabus

Variable: Spring 2007

This course is taught each Spring semester.

Schedule of Sections

Previous semesters:

Spring 2009. A. Deloro
Spring 2008. Sam Coskey
Spring 2007. Prof. Thomas

Contacts

Undergraduate Menu

Undergraduate Quicklinks

Course Descriptions