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:
Tous Les Professeurs
Moyenne C (4.313)
Le plus fréquent: D+ (14%)
80 étudiants
F
D
C
B
A-
A+