-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"

La présente brochure est le fruit du travail des membres du groupe logique. La version actuelle est une version de travail, elle est donc amenée à être modifiée.

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

Télécharger Quantificateurs_21-06-11.pdf Télécharger Negation_09-06-11.pdf Télécharger Connecteurs_et-ou_07_07_11.pdf

Logique et apprentissage du langage et du raisonnement mathématiques

Zoé Mesnil (Université Paris Diderot) répond aux questions de Françoise Hérault sur les finalités d'un enseignement de logique au lycée. Elle rappelle ce qu'est la logique mathématique, et pourquoi il est pertinent de dépasser l'idée que la logique...

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

En cliquant sur ce lien vous accédez à la page de l'enseignement "Langage Mathématique" proposé en première année de licence math, math-info, info et mass à l'Université Paris Diderot. Vous y trouverez les notes du cours de René Cori et des...

Vidéo “Pratiques langagières et preuves”

Nous proposons ici deux vidéos de présentation d’un atelier “Pratiques langagières et preuves” par Christophe Hache et Zoé Mesnil. Initialement présenté lors du colloque de la Corfem  en juin 2015, la présentation filmée s’est déroulée en février...

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

Thèse de Zoé Mesnil [décembre 2014] Site du groupe logique de la commission inter IREM lycée (qui contient un lien vers les pages des différents IREM ayant un groupe "logique") [mise à jour régulière] Texte d'une présentation du stage "Logique" de...

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

Télécharger Sac_boules_NB_V1.pdf Télécharger Sac_boules_NB_V2.pdf Télécharger quadrilateres_angle_droit.pdf Télécharger implication_reciproque_contraposee_Thales_Pythagore_3e_stage2015.pdf Télécharger exos-jetons_plusieurs_versions.pdf...

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

Télécharger test_debut.pdf Télécharger connecteurs_et_ensembles_probabilites_2nd.pdf Télécharger implication_reciproque_contraposee_Thales_Pythagore_3e.pdf Télécharger negation_et_ou_divisibilite_6e.pdf Télécharger Proposition_conditionnelle-...

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

Télécharger extraits_des_manuels_comments_lundi_aprs-midi.PDF Télécharger exos_donns_le_lundi_matin.pdf Télécharger provenance_des_extraits_de_manuels.pdf Télécharger Pages_logique_du_manuel_Queysanne-Revuz_-_2nde_CT_1974.pdf Télécharger...