Course Description Course Description
| Mathematics 420a/b Foundations of Mathematics |
|
Set theory: axioms, ordinal numbers, transfinite induction, cardinality, the axiom of choice. Foundations of mathematics: construction of the real numbers from the natural numbers by one of the standard methods. First-order logic: propositional calculus, quantifiers, truth and satisfaction, models of first-order theories, consistency, completeness and compactness. |
| Prerequisite: The permission of the Department. |
| 3 lecture hours, half course. |
| Academic Calendar |
![[Table of Contents]](toc.gif) ![[Index]](index.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|