MAT 2762 Fondements des mathématiques
3 units
Mathematics
Faculty of Science
Introduction à la notion de preuves, la théorie des ensembles et les fondements des mathématiques. La logique propositionnelle, une introduction à la logique des prédicats et les théories axiomatiques. Techniques de preuves (directe, par contradiction, cas par cas, constructives et non-constructive, récurrence). Théorie informelle des ensembles (fonctions, relations d'équivalence, relations d'ordre). Paradoxes. Introduction à la théorie axiomatique des ensembles et au codage mathématique. Axiome du choix, lemme de Zorn. Cardinalité des ensembles.
Components:
Discussion Group
Lecture
Previously Offered Terms:
Fall
English Equivalent:
Organized
39 responses
4.62
/ 5
Clear Expectations
27 responses
4.22
/ 5
Learned a Lot
38 responses
3.86
/ 5
Recommend
12 responses
3.42
/ 5
Workload
11 responses
2.18
/ 5
Fair Assessments
39 responses