Mathematical Logic
Download as PDF
Overview
Subject area
MTH
Catalog Number
350
Course Title
Mathematical Logic
Department(s)
Description
(Also PHL 321). 4 hours; 4 credits. 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. Prerequisite: MTH 233 or MTH 236.
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