MATH 445 (Elementary Mathematical Logic)
| DESCRIPTION |
An introduction to the techniques of formal (and valid)
reasoning with
emphasis on the (classical) propositional and predicate calculus. |
| PREREQUISITES |
Math 141. Credit will not be given for this course and Math
450. |
| TOPICS |
Arguments and how to formalize arguments and then determine (if
possible)
their validity.
Completeness and soundness of formal systems.
Depending on the preference of the class (and available time) some
of the following may also be included:
definite descriptions
resolution
non-classical logics
computability
ordinals
other topics are possible. |
| TEXT |
Text(s)
typically used in this course. |
|
