Rôle des structures discrètes en génie logiciel et génie informatique. Relations d'équivalence, partitions, ordres partiels. Fonctions injectives, bijectives et surjectives, composition de fonctions, notation asymptotique. Récursivité. Arbres et graphes. Relations de récurrence. Théorie des ensembles et logique de base. Techniques de preuves. Règles d'inférence et de déduction. Éléments de combinatoire : énumération, permutations et combinaisons. Machines à états finis, expressions régulières et grammaires.