Mar 28, 2024  
2010-2011 Academic Catalog 
    
2010-2011 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

MACT 362 - Formal and Mathematical Logic


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.
Prerequisites
Prerequisites: MACT 200 or PHIL 221 or consent of the instructor.
Cross-listed
Same as PHIL 362.
When Offered
Offered occasionally.
(3 cr.)



Add to Portfolio (opens a new window)