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.
- Responsable du site: Charles Audet
MTH6517 - Formalisme et preuves en mathématiques
Options d’inscription
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.