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