Jul 14, 2020  
2013-2014 Academic Catalog 
    
2013-2014 Academic Catalog [Archived Catalog]

Add to Portfolio (opens a new window)

MACT 362/3133 - Formal and Mathematical Logic (3 cr.)



Prerequisites
   or   or consent of the instructor.

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

Cross-listed
Same as  .
When Offered
Offered occasionally.



Add to Portfolio (opens a new window)