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:
Organisé
138 réponses
4.51
/ 5
Attentes claires
59 réponses
4.42
/ 5
Beaucoup Appris
137 réponses
4.32
/ 5
Recommander
80 réponses
4.22
/ 5
Charge de Travail
80 réponses
2.54
/ 5
Évaluations Équitables
139 réponses