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) : Daniel Giao
- Enseignant (éditeur) : Daniel Giao
- Enseignant (éditeur) : Christine Groux
- Enseignant (éditeur) : Armelle Jézéquel
- Enseignant (éditeur) : Aurel Randolph
- Enseignant (éditeur) : Laure-Anne Margaux Réau
- Enseignant (éditeur) : Alexandre Turcotte