01:640:461 - Mathematical Logic

Full Course Title: MATH LOGIC
Course Number: 01:640:461
Semester: Spring
Some courses may also be available during Winter or Summer Sessions. To see which courses are being offered in a specific semester, please refer to the Schedule of Classes.
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

Undergraduate Quick Links

Mathematics Course Descriptions