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): Vincent Brouillard
- Enseignant (éditeur): Mehdi Chekkaf
- Enseignant (éditeur): Sulayman Hosna
- Enseignant (éditeur): Martine Leblanc
- Enseignant (éditeur): Aurel Randolph