Rôle des structures discrètes en génie informatique et en génie logiciel. Ensembles et logique de base. Techniques de preuves : règles d'inférence et de déduction. Relations et fonctions. Algorithmes : définition, analyse, récursivité. Théorie des nombres : arithmétique, congruences, application à la cryptographie. Éléments de combinatoire : énumération, permutations et combinaisons. Relations de récurrence. Théorie des graphes. Arbres. Langages et grammaires, automates finis, machines de Turing.
- Responsable du site: Lévis Thériault
- Enseignant (éditeur) : Massil Ait Abdeslam
- Enseignant (éditeur) : Younes Benabbou
- Enseignant (éditeur) : Mehdi Chekkaf
- Enseignant (éditeur) : Pierre Gallou-Guyot
- Enseignant (éditeur) : Sulayman Hosna
- Enseignant (éditeur) : Aurel Randolph
- Enseignant (éditeur) : Laure-Anne Margaux Réau