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
 Mathematics Courses
SPNavLeft

MATH

SPNavRight

362

SPNavUp

Formal and Mathematical Logic

Same as PHIL 362. Prerequisites: MATH 200 or PHIL 221 or consent of the instructor.  Offered occasionally.
Introduction to the goals and methods of mathematical logic. Propositional and predicate calculus (first order logic) are presented in detail. Goedel's completeness and incompleteness theorems, and some of the philosophico-mathematical problems in set theory,  and alternative logics are discussed.
 

3 cr.

SPNavLeft SPNavRight SPNavUp

© 2003-2004, The American University in Cairo