Algèbre de Boole, Probabilités et Arithmétique

Cours de mathématiques pour l'informatique de première année, automne 2021.
Version du cours 2020-2021.

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

Bibliographie
            Roger Godement. Cours d'algèbre, Hermann, 1964.
            Gaston Casanova. L'algèbre de Boole, Presses Universitaires de France, 1967.
            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.
            Geneviève Avérous, Isabelle Gil, Françoise Santi, Jacques 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.
            Jacques Vélu. Méthodes mathématiques pour l'informatique, Dunod, 2013.

mise à jour : 26 septembre 2022