Mathematical Logic
Download as PDF
Overview
Subject area
MATH
Catalog Number
44400
Course Title
Mathematical Logic
Department(s)
Description
The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's incompleteness theorem, the Loewenheim-Skolem theorem.
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
018641