(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.

Formule pédagogique : Cours Magistral

(05/2024)


Appartenance départementale

Informatique et mathématique

Ce cours n'est dans aucun programme ouvert aux admissions.