| College of Staten Island | |
| Course Prefix: | MTH Course Number: 350 Check Availability |
| Course Title: | Mathematical Logic |
| Subject: | Mathematics |
| Minimum Credits: | 4.0 Maximum Credits: 4.0Hours per week: 4.0 |
COURSE 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. |
| Prerequisite: | MTH 233 or MTH 236. |
