Cours

* Un peu de logique Tableaux de vérité ; quelques synonymies classiques ; conditions nécessaires et/ou suffisantes ; prédicats et quantificateurs. * Le langage des ensembles Ensembles et éléments ; opérations sur les ensembles ; parties d'un ensemble ; opérations sur les parties d'un ensemble. * Applications Généralités ; exemples d'applications ; prolongements et restrictions ; image d'une partie par une application ; image réciproque d'une partie par une application ; composition des applications ; applications injectives, surjectives, bijectives ; utilisation des applications caractéristiques ; familles d'éléments, familles d'ensembles. * Relations binaires Généralités ; propriétés éventuelles des relations binaires ; relations d'équivalence ; relations d'ordre ; majorants, minorants ; applications entre ensembles ordonnés;