Mathematical Logic
Download as PDF
Overview
Subject area
MAT
Catalog Number
442
Course Title
Mathematical Logic
Department(s)
Description
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. PREREQ: Any two courses chosen from linear algebra, modern algebra, or advanced calculus.
Typically Offered
Fall, Spring
Academic Career
Undergraduate
Liberal Arts
Yes
Credits
Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No
Components
Name
Lecture
Hours
4
Requisites
010972