18.515 Mathematical Logic
More rigorous treatment of basic mathematical logic, Godel's theorems, and Zermelo-Fraenkel set theory. First-order logic. Models and satisfaction. Deduction and proof. Soundness and completeness. Compactness and its consequences. Quantifier elimination. Recursive sets and functions. Incompleteness and undecidability. Ordinals and cardinals. Set-theoretic formalization of mathematics.
This class has no prerequisites.
This class counts for a total of 12 credits. This is a graduate-level class.
You can find more information at the http://www.google.com/search?&q=MIT+%2B+18.515&btnG=Google+Search&inurl=https site.
© Copyright 2015 Yasyf Mohamedali