AUCBanner
catalog2

Main Page

Table of Contents


 

General Information

Undergraduate Studies

Graduate Studies

Research

Continuing Education & Training Programs

Appendix: Personnel & Enrollment

 

1A3B7900 1A3B8362 1A3B8052
undergrad
 Anthropology (ANTH)
SPNavLeft

PHIL

SPNavLeft
SPNavRight

362

SPNavRight
SPNavUp

Formal and Mathematical Logic

3 cr.

Same as MATH 362. Prerequisites: PHIL 221 or MATH 200 or permission of the instructor. Offered occasionally.
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.
 

SPNavUp

© 2003-2004, The American University in Cairo