18.510 Introduction to Mathematical Logic and Set Theory
Propositional and predicate logic. Zermelo-Fraenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Lowenheim-Skolem theorems. Godel's incompleteness theorem.
This class has no prerequisites.
18.510 will not be offered this semester. It will be instructed by H. Cohn.
This class counts for a total of 12 credits.
You can find more information at the http://www.google.com/search?&q=MIT+%2B+18.510&btnG=Google+Search&inurl=https site.
© Copyright 2015 Yasyf Mohamedali