Description du cours
Scolarité
Premier cycle, 3 crédit(s)
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.
Préalable(s)
Aucun