MA 58500, Fall 2017

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 101 9:00am TR Lipshitz, Leonard MATH 722

Course Materials

Section Type Title Author
ALL Textbook Introduction to Mathematical Logic, Sixth Edition (Discrete Mathematics and Its Applications) (6) Elliott Mendelson

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