MACT 4133 - Formal and Mathematical Logic (3 cr.)

Prerequisites

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.

When Offered
Offered occasionally.