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é
117 réponses
4.51
/ 5
Attentes claires
38 réponses
4.29
/ 5
Beaucoup Appris
116 réponses
4.33
/ 5
Recommander
80 réponses
4.22
/ 5
Charge de Travail
80 réponses
2.54
/ 5
Évaluations Équitables
118 réponses