| Popis: |
We want to discuss the role of mathematical logic in high school. We are mostly interested on the problem of implicit quantification and on founding a good way to teach that. In a first place, we give to the lecture some formal notions on mathematical logic. In a second place, an analysis of the resources, already available both for pupils and teachers, is presented. Finally, we provide an activity to introduce the implicit quantification problem that we experiment in some classes and some exercises to develop the pupil capacity to recognize and to make explicit the quantification.; Dans ce mémoire on s’interroge sur la place de la logique dans l’enseignement des mathématiques en seconde avec un regard particulier sur la problématique de la quantification implicite et son enseignement. On apporte une analyse des ressources à disposition des enseignants et des élèves. On présente aussi des notions théoriques sur la logique à destination des professeurs de mathématiques. On réalise une analyse a priori et a posteriori d’une activité pour introduire les quantificateurs implicites, effectuée dans plusieurs classes de secondes. |
