uqac.ca

web

8MAT432

L'art de la preuve en mathématique

(3.0 cr.)

Identifier les techniques qui ont été utilisées pour prouver une proposition mathématique, analyser une preuve mathématique, condensée ou non, en indiquant tous et chacun des énoncés de cette preuve et en indiquant les raisons qui motivent chaque énoncé, développer et utiliser ses propres techniques de démonstration d'une proposition mathématique.

Caractéristiques du langage mathématique: axiomatisation et formalisme. Eléments de logique mathématique: calcul propositionnel et quantificateurs. Principales méthodes de preuve: preuve directe, preuve par contradiction, preuve par contre positive, preuve par induction, autres méthodes de preuve. L'activité mathématique et résolution de problèmes.

(02/2015)

Appartenance départementale

Informatique et mathématique

Programme dans lequel se trouve ce cours

4918 Certificat en mathématique
À propos du site Web institutionnel - © UQAC 2017. Tous droits réservés.