MAT 2762
Fondements des mathématiques
Automne 2014
Topics
- Logique propositionnelle et quantification
- Méthodes de preuve
- Ensembles, fonctions et relations
- Relations d’équivalence et ordres partiels
- Axiomatique des ensembles et paradoxes
- Axiome du choix et lemme de Zorn
- Cardinalité
Readings
Sources
- Course catalogue ↗2026–2027
- instructor_course_page ↗Automne 2014
- Aucun manuel unique; le cours utilise des notes du professeur. Des notes de Pieter Hofstra, Daniel Daigle et Ali Nesin sont proposées en complément.