MTH6517 - Formalisme et preuves en mathématiques

Présentation rigoureuse d'énoncés mathématiques et de diverses techniques de preuves. Démonstration de résultats fondamentaux en algèbre, topologie, analyse, calcul et algorithmie.