-A +A

Logique

Le groupe n'est plus en activité depuis 2019. Vous trouverez ci-dessous les descriptifs et documents mis en ligne par le groupe jusqu'à cette date.

stage logique et raisonnement 2021

Les deux premières journées du stage "Logique" à distance, auront lieu le 01 et le 02 Mars 2021.

La troisième journée aura lieu le jeudi 8 avril.

Un livret contenant plusieurs activités sur des notions de logique a été envoyé, il est disponible en version numérique ici.

  • Les diaporama et documents des moments animés par René Cori sont disponibles ici. 

Questions, réactions : cori#imj-prg.fr

Questions, réactions : zoe.mesnil#u-paris.fr 

  • Le diaporama et les fichiers Scratch et Python de l'intervention de Jean-Christophe Masseron sont ici.

Questions, réactions : jmasseron#ac-paris.fr 

  • Le diaporama et les documents de l'intervention autour du manuel Belin sont ici.

Questions, réactions : herault.francoise#orange.fr 

  • Le diaporama et le documents sur la déduction naturelle sont ici.

Questions, réactions : zoe.mesnil#u-paris.fr

Historique

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.

Un rapprochement avec le groupe R2C2 s'est fait petit à petit. Une fusion est faite pour la rentrée 2020 avec la création du groupe "Démontrer".

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

Contact

Françoise Hérault (remplacer # par @)

Rapport d'activité 

Les rapports d'activité de l'IREM sont disponibles ici. Ci-dessous les rapports du groupe :

Ressources du groupe "Logique" (ci-dessous)

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)

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