Rôle des structures discrètes en génie logiciel et génie informatique. 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é. Éléments de combinatoire : énumération, permutations et combinaisons. Relations de récurrence. Théorie des graphes. Arbres. Automates, grammaires et langages.
- Enseignant (éditeur) : Mohameth Alassane Ndiaye
- Enseignant (éditeur) : Abdelkader Zobiri