MAT-1919 Mathématiques pour informaticien

Ensembles, relations, récurrences, arbres et graphes. Théorie des ensembles finis et infinis, notions de fonctions, séries génératrices et résolutions de récurrences, principes de dénombrement et analyse combinatoire, éléments de théorie des graphes et des arbres. Notions de démonstrations mathématiques, notamment les démonstrations par induction et par l'absurde. Rappels sur les limites, les intégrales, les suites, les séries et les résolutions de systèmes linéaires.