MAT 442 Mathematical Logic

Propositional logic, logic with quantifiers, and with equality. Proof techniques such as Hilbert systems, tableaus, and others. Models, and the extent to which the notion of model embodies and generalizes the various structures studied by mathematicians. G÷del's Completeness Theorem, and consequences such as Compactness and L÷wenheim-Skolem Theorems. The incompleteness results of Tarski, G÷del, and others. 

Credits:

4

Hours

4

Requirement Designation

Regular Liberal Arts

Offered

Fall-Spring

Prerequisite

Any two courses chosen from linear algebra, modern algebra, or advanced calculus.