Mathematical Logic I
Download as PDF
Overview
Subject area
MAT
Catalog Number
341
Course Title
Mathematical Logic I
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. Godel's Completeness Theorem, and consequences such as Compactness and Lowenheim-Skolem Theorems. The incompleteness results of Tarski, Godel, and others.
Typically Offered
Fall, Spring
Academic Career
Undergraduate
Liberal Arts
Yes
Credits
Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No
Components
Name
Lecture
Hours
3
Course Schedule
Schedule
Expand all No Sections Found