MAT 2762 Fondements des mathématiques
3 crédits
Mathematiques
Faculte des sciences
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.
Volet:
Groupe de discussion
Cours magistral
Terme proposées précédemment:
Automne
Équivalent Anglais:
Organisé
39 réponses
4.62
/ 5
Attentes claires
27 réponses
4.22
/ 5
Beaucoup Appris
38 réponses
3.86
/ 5
Recommander
12 réponses
3.42
/ 5
Charge de Travail
11 réponses
2.18
/ 5
Évaluations Équitables
39 réponses