
Description et objectifs du cours
Méthodes de preuve directe et indirecte, ensembles de preuves théoriques, séquences, induction mathématique, récursivité, déclarations multi-quantifiées, relations et fonctions, complexité
Au terme du cours, l'étudiant maîtrisera les concepts théoriques de base de l'analyse mathématique et sera capable de mettre en œuvre les techniques de calcul correspondantes, que ce soit dans un contexte purement mathématique ou dans le cadre d'applications simples relevant du domaine des sciences et techniques.
Il sera capable d'utiliser le langage mathématique pour formuler, analyser et résoudre des problèmes simples en utilisant avec discernement et rigueur les outils fondamentaux de l'analyse mathématique.
Concepts technologiques couverts dans le cours
Logique et preuve
Théorie des ensembles
Relations
Mathématiques combinatoires
Graphes
Graphes orientés
Algèbre de Boole
Pré-requis
CONDITIONS PRÉALABLES: MAT 140