MATH 447 (Introduction to Mathematical Logic)
| DESCRIPTION |
This course provided an introduction to predicate logic and beginning
model theory. THIS COURSE IS NO LONGER OFFERED: students are advised
to consider instead one of the logic courses MATH 445, MATH 450 or
MATH 712. |
| PREREQUISITES |
Math 403 or Math 410 or Math 446 or consent of the instructor. |
| TOPICS |
Among the topics covered are defining the concept of a proof, automated
theorem proving, formal languages, satisfaction Gödel's Completeness
Theorem, Gödel's Incompleteness Theorem, and the definition and equivalent
formulations of the concept of recursive functions. |
| TEXT |
A Mathematical Introduction to Logic by H. B. Enderton or
Computability and Logic by G. Boolos and R. Jeffrey |
|
