Cours de mathématiques pour l'informatique de première année, automne 2020.

Cours 1.    Logique des propositions
Cours 2.    Induction et logique des prédicats
Cours 3.    Ensembles
Cours 4.    Fonctions
Cours 5.    Dénombrements
Cours 6.    Division euclidienne
Cours 7.    Congruences
Cours 8.    Code de Rivest, Shamir et Adleman
Cours 9.    Probabilités discrètes
Cours 10.  Relations d'ordre et d'équivalence
Cours 11.  Treillis de Boole
Cours 12.  Fonctions booléennes
Cours 13.  Diagramme de Karnaugh
Cours 14.  Équations booléennes

Devoirs         1   2   3   4
Contrôles     27 janvier 2021   21 avril 2021.

Bibliographie
            Roger Godement. Cours d'algèbre, Hermann, 1964.
            Alan Marcovitz. Introduction to logic Design, McGraw-Hill, 2009.
            Jaakko Astola et Radomir Stankovic. Switching Theory and Logic Design, Springer, 2006.
            Sergiu Rudeanu. Lattice Functions and Equations, Springer, 2001.
            Brock LaMeres. Introduction to Logic Circuits, Springer, 2017.
            Svetlana Yanushkevich, Vlad Shmerko. Introduction to Logic Desing, Taylor & Francis, 2008.
            Xavier Chanet, Patrick Vert. Mathématiques pour l'informatique, Dunod, 2013.
            Avérous, Gil, Santi, Vélu. Exercices et problèmes de mathématiques pour l'informatique, Dunod, 2008.
            Olivier Bournez. Fondements de l'informatique. Logique, modèles, et calculs, Ecole Polytechnique, 2013.
            Vélu. Méthodes mathématiques pour l'informatique, Dunod, 2013.