Introduction to Mathematical Logic
Download as PDF
Overview
Subject area
MTH
Catalog Number
612
Course Title
Introduction to Mathematical Logic
Department(s)
Description
A development of the propositional calculus and the predicate calculus with special emphasis on their mathematical aspects and applications. The course covers formal axiomatic theory, validity, provability, consistency, and completeness. Prerequisite: MTH 233 or MTH 236 or permission of the department.
Typically Offered
Fall, Spring
Academic Career
Graduate
Liberal Arts
Yes
Credits
Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No
Components
Name
Lecture
Hours
4
Requisites
012503