MAT 2362 Foundations of Mathematics
3 crédits
Mathematiques
Faculte des sciences
Review of propositional logic, informal set theory and proofs techniques. Paradoxes, introduction to axiomatic set theory and the encoding of mathematics. Ordinals, ordinal arithmetic. Axiom of choice, well-ordering principle and Zorn’s lemma. Cardinals and cardinality of sets, Cantor-Schröder-Bernstein theorem, Cantor's diagonal argument, continuum hypothesis. Introduction to recursive functions and recursive sets.
Volet:
Groupe de discussion
Cours magistral
Terme proposées précédemment:
Automne
Équivalent Français:
Tous Les Professeurs
Moyenne C+ (4.681)
Le plus fréquent: A+ (12%)
276 étudiants
F
D
C
B
A-
A+