Objectif

Connaître et comprendre quelques méthodes et structures mathématiques qui ont des applications à l'informatique.

Contenu

Logique : calcul propositionnel, prédicats et quantificateurs, raisonnements valides, algèbre de Boole, applications aux circuits logiques. Ensembles, fonctions, bijections, relations. Les entiers : induction mathématique, division euclidienne, algorithme d'Euclide, congruences, applications à la cryptographie. Éléments de théorie des graphes : graphes connexes, eulériens, hamiltoniens, planaires; coloriage de graphes.