MA 58500, Fall 2013
Course Description
Credit Hours: 3.00. Propositional and predicate calculus; the Gdel completeness and compactness theorem, primitive recursive and recursive functions; the Gdel incompleteness theorem; Tarski's theorem; Church's theorem; recursive undecidability; special topics such as nonstandard analysis. Typically offered Fall.
Instructor Info.
| Section | Room | Time | Instructor | Office | |
|---|---|---|---|---|---|
| MA 58500 001 | UNIV 117 | 10:30am | TR | Lipshitz, Leonard | MATH 722 |
Course Materials
There are no materials for this course.
Important Notes
- ADA policies: please see our ADA Information page for more details
- In the event of a missed exam, see your instructor/professor as soon as possible.
- See the online course evaluation page for more information on how we collect course feedback from students