-A +A

Logique

Un groupe logique a démarré en septembre 2010 à l'IREM de Paris. Son travail est centré autour des nouveaux programmes pour le lycée qui fixent des objectifs en matière de notation et raisonnement mathématiques. Notre première tâche (année 2010-2011) a été d'analyser les nouveaux manuels de seconde, et de rédiger des textes permettant aux professeurs d'y voir un peu plus clair sur les notions de logique mathématique en jeu. Les versions en cours de travail de ces textes sont disponibles ci-dessous. Cette année (2011-2012) nous nous concentrons sur des propositions d'exercices pour collégiens ou lycéens. Ce travail est en cours, nous proposons ici des activités sur lesquelles nous sommes encore en train de réfléchir pour les améliorer. Nous sommes intéressés par toute remarque sur les textes ou propositions d'activité. Dans le cadre d'un travail inter-IREM au sein de la commission Inter-IREM Lycée, nous participons également à une réflexion sur une répartition de ces objectifs sur les trois années de lycée.

Au niveau national il existe un groupe Logique et raisonnement au sein de la commission inter-IREM Lycée.

Contact

françoise Hérault herault.francoise#orange.fr

Mots clés >

Prépublication "Logique au collège"

Réflexions sur les propositions des manuels, et sur les notions de logique au programme du lycée (juillet 2011)

Documents : Logique et apprentissage du langage et du raisonnement mathématiques

Les documents du cours “Langage Mathématique” en L1

Vidéo “Pratiques langagières et preuves”

Autres documents et ressources en lien avec l’activité du groupe logique

Les documents du stage “Initiation à la logique” 2014-2015

Les documents du stage “Initiation à la logique” 2012-2013

Les documents du stage “initiation à la logique” stage 2011-2012