MA 58500, Fall 2009
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.
|MA 58500 001||REC 121||9:30am||MWF||Lipshitz, Leonard||MATH 722|
There are no materials for this course.