Cette brochure contient des exercices courts et classés par thématique en vue d’une exploitation au lycée ou en début d’université. Les exercices des trois premiers chapitres portent sur les ensembles et leur lien avec la logique, les quantificateurs et connecteurs logiques ET, OU. Le dernier chapitre est consacré à la mise en regard de démonstrations qui sont faites à la fois dans le secondaire et le supérieur.

Sommaire :

1 Les ensembles
I Ecritures d’un ensemble. Comparaison de deux ensembles : I.1 Comprendre l’écriture d’un ensemble ; I.2 Domaine de définition d’une fonction ; I.3 Passer d’une écriture à une autre ; I.4 Comparer deux ensembles
II Travailler la démonstration avec les ensembles
III Ensembles et représentations graphiques

2 Les quantificateurs au lycée I En Seconde : I.1 Le calcul littéral ; I.2 Les vecteurs ; I.3 Les fonctions
II En Première
III En Terminale

3 Exercices : OU et ET, union et intersection
I Introduire ET/OU : I.1 Définition de ET/OU ; I.2 Utiliser ET/OU
II Du langage formalisé au langage ensembliste : II.1 ET et la notion d’intervalles ; II.2 Des doubles inégalités : une amorce de l’intersection ; II.3 Des inéquations pour introduire l’union ; II.4 Travailler les notions
III La négation de ET/OU

4 Comparaisons de rédactions ROC lycée et université 35
I Un théorème de comparaison
II Limite des suites géométriques
III Des propriétés sur les suites
IV Croissance comparée
V Théorème du toit