Séance de cours
Cette séance de cours couvre les concepts fondamentaux des ensembles et des fonctions, y compris l'union, l'intersection, la différence, le complément, la différence symétrique et les identités d'ensemble. Il explore également les analogies d’opérations fixes avec les connexions de calcul propositionnel, la cardinalité de l’union fixe et les principes d’inclusion-exclusion. La séance de cours se penche sur la preuve des identités définies à l'aide de la notation set builder, de la logique propositionnelle et des tables d'appartenance. En outre, il traite des unions généralisées, des intersections et du paradoxe de Russell. La terminologie relative aux fonctions, telles que le domaine, le codomaine, la plage, l'image et la préimage, est expliquée. La séance de cours se termine par la représentation des fonctions, des injections, des surjections et des bijections.