Mathématiques pour l'informatique

A la fin de cette unité d’enseignement, l’étudiant est capable de :

Les étudiants ayant suivi avec fruit ce cours seront capables de
- Utiliser à bon escient la terminologie des fonctions, relations et ensemble et réaliser les opérations associées lorsque le contexte le nécessite
- Expliciter la structure de base des principales techniques de preuve (preuve directe, contrexemple, preuve par l'absurde, induction, récurrence)
- Appliquer les différentes techniques de preuve de manière convaincante en sélectionnant la plus adaptée au problème posé
- Analyser un problème pour déterminer les relations de récurrence sous¿jacentes
- Calculer des comptages, permutations, arrangements sur des ensembles dans le cadre d'une application.
- Modéliser divers problèmes du monde réel rencontrés en informatiques en utilisant les formes appropriées de graphes
- Expliquer le problème du plus court chemin dans un graphe et appliquer des algorithmes classiques pour résoudre ce problème