Objectifs
Au terme de cette activité, l'étudiant sera en mesure : de décrire et d'utiliser les notions et outils mathématiques de base indispensables en informatique; d'identifier et de mettre en application des méthodes de raisonnement rigoureux.
Contenu
Logique propositionnelle et éléments du calcul des prédicats, leur application aux modes de raisonnement. Ensembles. Éléments d'analyse combinatoire. Notion de relation, ordres et équivalences, applications. Fonctions, leurs propriétés et rôle en informatique. Graphes, propriétés, applications et représentations informatisées. Éléments d'algèbre et applications au codage, codes corrigeants, codes de Hamming. Automates finis et expressions régulières, applications en informatique. Ce cours comporte des séances obligatoires de travaux dirigés (TD) de deux heures par semaine.