Sep 18, 2021  
2013-2014 Academic Catalog 
    
2013-2014 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

PHIL 362/5118 - Formal and Mathematical Logic (3 cr.)



Prerequisites
  or    or permission of the instructor.

Description
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.

Cross-listed
Same as  .
When Offered
Offered occasionally.



Add to Portfolio (opens a new window)