Résumé de section
-
Ce cours couvre les thèmes suivants de mathématiques discrètes : principes de dénombrement et analyse combinatoire ; théorie des graphes et des arbres ; fonctions génératrices ; introduction aux langages formels. Des thèmes sous- jacents à ces thèmes principaux sont aussi abordés : preuve par récurrence, suites définies par récurrence, ordre et préordre en sont des exemples.
Les méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques, comme la théorie des ensembles, la logique, les mathématiques combinatoires ou encore la théorie des graphes (dont l'application à un réseau de communication permet d'introduire des notions très complexes comme, par exemple, les répartitions de charge et de trafic sur Internet).
C’est un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles, relations, fonctions, combinatoire, théorie des graphes et algèbre de boole. Chaque notion est illustrée d'un exemple concret, appliqué à l'informatique ou à l'électronique.
-
Voir Syllabus
-
Voir Syllabus
-
Voir Syllabus
-
Théorie des ensembles et Introduction à la logique mathématique
-
Les espaces vectoriels
-
Les espaces vectoriels et les applications linéaires
-
les matrices
-
Matrices et applications linéaires
-
EXAMEN PARTIEL
-
Les systèmes d’équations linéaires et déterminants
-
Réduction des endomorphismes
-
Réduction des endomorphismes
-
Graphes et matrices
-
EXAMEN FINAL