Cours INF1132 – Mathématiques pour l'informatique

Connaître les notions de base en mathématiques qui sous-tendent l’informatique.

Calcul propositionnel, calcul des prédicats et théorie naïve des ensembles. Nombres entiers et division. Définitions et preuves par induction. Stratégies de preuve. Relations : définitions et représentations. Propriétés des relations et principaux types de relations. Fonctions : définitions et représentations. Opérations sur les fonctions. Récursion. Graphes : définitions et représentations. Parcours d’un graphe. Introduction à l’analyse d’algorithmes : notion générale d’algorithme, arrêt et exactitude. Complexité spatiale et temporelle. Algorithmes récursifs et équations de récurrence.