MATH 570
Fall 2007 Part of Term 1
Part of Term 1
Aug 22-Dec 7
Aug 22-Dec 7
Credit: 4 hours.
Development of first order predicate logic; completeness theorem; formalized number theory and the Godel incompleteness theorem.
Prerequisite: MATH 417 or consent of instructor.
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
30831
|
Lecture-Discussion
|
E1
|
1:00PM
-1:50PM
|
MWF
|
Altgeld Hall
|
Van Den Dries, L
|
|