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:
All Professors
C Average (4.313)
Most Common: D+ (14%)
80 students
F
D
C
B
A-
A+