Legacy Course Catalog
MATH 585 - Mathematical Logic I
| Effectivity: | 08/20/2001 - 05/10/2003 @ Purdue IUPUI Traditional |
|---|---|
| Credits: | 3 |
| Instructional Types: | Lec |
| Usually Offered: | fal spr sum |
| Short Title: | Mathematical Logic I |
| Description: | Formal theories for propositional and predicate calculus with study of models, completeness, compactness. Formalization of elementary number theory; Turing machines, halting problem, and the undecidability of arithmetic. |
| School: | School Of Science |
| Department: | Iupui Courses |
| Credit By Exam: | NO |
| Repeatable Flag: | NO |
| Temporary Flag: | NO |
| Full Time Privilege Flag: | NO |
| Honors Flag: | NO |
| Variable Title Flag: | NO |
Fall 2007 *** indicates the course was still an active course and was transferred to the Banner Catalog effective Spring 2008. This course was not expired Fall 2007.
