1. 1. Logique et ensembles - AN1
1.1 Théorie - AN1
Ensembles et logique
Ce chapitre introduit l’algèbre des ensembles et ses liens avec la logique. On y définit les ensembles comme des collections d’éléments et on décrit les opérations fondamentales : union, intersection, complément, différence et différence symétrique. Les propriétés essentielles telles que commutativité, associativité, distributivité et lois de De Morgan sont mises en évidence. Le texte établit ensuite une correspondance entre opérations ensemblistes et logique propositionnelle, avec tables de vérité. Sont étudiées les notions de parties d’un ensemble, leur cardinalité et leur représentation binaire. La deuxième partie introduit les concepts d’injectivité, surjectivité et bijectivité pour les fonctions, avec définitions formelles, implications et exemples. Le chapitre poursuit avec l’ensemble de définition d’une fonction, illustré par des cas rationnels, racines carrées et logarithmes. Enfin, les propriétés de parité, périodicité et monotonicité des fonctions sont abordées, complétant ainsi les bases nécessaires pour l’analyse et l’algèbre.
1.2 Exercices - AN1
Exercices ensembles et logique
Cette série d’exercices introduit les notions fondamentales d’ensembles et de logique. On commence par manipuler des ensembles finis pour travailler sur les opérations usuelles comme l’union, l’intersection ou la différence. On généralise ensuite à des ensembles quelconques, en explorant la complémentation et les lois de De Morgan. On apprend aussi à décrire un ensemble soit par une condition, soit par une liste explicite d’éléments. La logique se relie à la géométrie avec un rappel du théorème de Pythagore et de ses conséquences trigonométriques, y compris les identités et formules d’addition. Viennent ensuite les notions de fonctions, où l’on étudie l’injectivité, la surjectivité et la bijectivité à travers des exemples concrets. On s’intéresse au domaine et à l’image de fonctions usuelles, et on apprend à restreindre une fonction pour obtenir une bijection et construire sa réciproque. Enfin, la série se termine par un questionnaire de type « vrai ou faux » qui oblige à réfléchir aux propriétés des fonctions, en particulier le lien entre croissance, injectivité et surjectivité.
Loading Viewer…
Les corrigés peuvent être consultés uniquement par les utilisateurs connectés
Loading Viewer…