CM de Mathématiques discrètes (DUT 1 Informatique)

Voici les thèmes abordés, séance par séance :

• CM 1, 10 septembre 2014 : 1^re partie sur la théorie des ensembles.


• CM 2, 17 septembre 2014 : 1^re partie sur la logique : formules sans quantificateur.


• CM 3, 24 septembre 2014 : formules avec quantificateurs ; raisonnements et contre-exemples.


• CM 4, 3 octobre 2014 : théorème de la double inclusion ; diagrammes de Venn ; opérations sur les ensembles.


• CM 5, 10 octobre 2014 : opérations sur les ensembles (suite) ; propriétés des opérations (commutativité, associativité) ; partitions d'ensembles.


• CM 6, 17 octobre 2014 : relations binaires ; représentations de relations binaires ; propriétés des relations binaires.


• CM 7, 24 octobre 2014 : relations d'ordre ; relations d'équivalence ; opérations sur les relations binaires.


• CM 8, 7 novembre 2014 : examen 1 (une correction ici).


• CM 9, 14 novembre 2014 : fonctions et applications ; injectivité, surjectivité, bijectivité.


• CM 10, 21 novembre 2014 : composition et inversion d'applications ; définitions récursives ; listes ; arbres ; arbres syntaxiques de formules avec quantificateurs.


• CM 11, 28 novembre 2014 : examen 2.