PHIL 362 - Formal and Mathematical Logic This course is an introduction to the ideas and methods of mathematical logic. The basis of predicate calculus (first order logic) will be presented in some details. More advanced topics such as Goedel’s completeness and incompleteness theorems, some of the philosophico-mathematical problems in set theory and alternative logics will be discussed. Prerequisites Prerequisites: PHIL 221 or MACT 200 or permission of the instructor. Cross-listed Same as MACT 362. When Offered Offered occasionally. (3 cr.)
Check course scheduling information
Add to Portfolio (opens a new window)
|