Cours de mathématiques pour l'informatique de seconde année, 2019 et 2020.

Cours 1.    Matrices
Cours 2.    Problèmes de transmission
Cours 3.    Matrice génératrice
Cours 4.    Code de Hamming H7
Cours 5.    Matrice de contrôle
Cours 6.    Codes parfaits
Cours 7.    Graphes
Cours 8.    Langages rationnels
Cours 9.    Lemme d'Arden
Cours 10.  Automates finis déterministes
Cours 11.  Quotients à gauche
Cours 12.  Simplification d'automates
Cours 13.  Automates non déterministes
Cours 14.  Transition spontanée

Devoirs   2019     1   2   3   4
               2020     1   2   3   4

Sujets d'examen       26 juin 2019   04 septembre 2019   17 juin 2020   02 septembre 2020

Bibliographie
            Jones et Jones. Information and Coding Theory, Springer, 2000.
            van Lint. Introduction to Coding Theory, Springer-Verlag, 1981.
            Carton. Langages formels ; calculabilité et complexité, Vuibert, 2014.
            Avérous, Gil, Santi, Vélu. Exercices et problèmes de mathématiques pour l'informatique, Dunod, 2008.
            Hopcroft, Motwani, Ullman. Automata Theory, Languages, and Computation, Pearson, 2007.
            Cogis, Schwartz. Théorie des graphes, Cassini, 2018.
            Diestel. Graph Theory, Springer, 2010.
            Vélu. Méthodes mathématiques pour l'informatique, Dunod, 2013.