Mathematical Logic
Download as PDF
Overview
Subject area
MTH
Catalog Number
350
Course Title
Mathematical Logic
Department(s)
Description
The calculus of propositions. Existential and universal quantifiers. Turing machines and computability theory. Non-computable functions. The decision problem for arithmetic. Axiomatizing arithmetic. The Godel Incompleteness theorem.
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
023460