Liste fiches - Publimath

quantification - logique -

Il y a 72 résultats pour cette recherche

2022 Petit x. Hors série N° Spécial activités.
Auteurs : Celi Valentina. Dir. ; Croset Marie-Caroline. Dir. ; Petit x Comité de rédaction. Dir.
2020 Histoires de Mathématiques. Logique. La Grande Famine.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La crise des fondements.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Les axiomes de Peano.
Auteur : Ycart Bernard
2019 Petit x. N° 110-111. p. 27-55. Faire vivre les énoncés contingents dans la classe de mathématiques : pourquoi et comment ?
Auteur : Cerclé Véronique
2019 Ensembles et logique.
Auteur : IREM d'Aquitaine Groupe REMSup
2018 FUN-MOOC. Introduction au raisonnement mathématique.
Auteurs : Rocher Magali ; Lemberg Henri
2018 Au fil des maths. N° 528. p. 49-54. Vrai ou Faux ? Parlons-en !
Auteurs : Hache Christophe ; Forgeoux Emmanuelle
2016 Petit x. N° 100. p. 7-34. Des activités pour favoriser l'apprentissage de la logique en classe de seconde.
Auteurs : Murphy Céline ; Weima Steve ; Durand-Guerrier Viviane
2016 Petit x. N° 100. p. 35-65. A propos de quantification : quelques activités de logique dans nos classes.
Auteurs : Hérault Françoise ; Huet Catherine ; Kel Notter Géraldine ; Mesnil Zoé
2016 Petit x. N° 100. p. 67-98. Etat des connaissances des élèves de terminale S sur le raisonnement par récurrence.
Auteurs : Gardes Denis ; Gardes Marie-Line ; Grenier Denise
2015 Petit x. N° 97. p. 27-43. Pratiques langagières des mathématiciens : une étude de cas avec "avec".
Auteur : Hache Christophe
2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis
2015 Actes du 22e colloque de la CORFEM. La quantification au coeur des relations entre langage, raisonnement et apprentissages mathématiques.
Auteurs : Barrier Thomas ; Durand-Guerrier Viviane
2014 Actes du 21e colloque de la CORFEM. Logique, langage. Enoncés et preuves en mathématiques.
Auteur : Hache Christophe
2013 LEXIQUE pour écrire des mathématiques.
Auteurs : IREM de Lorraine Groupe Université ; Bardy-Panse Nicole ; Didry Jean-Marie ; Dumoulin Laure ; Eguether Gérard ; Ferrier Jean-Pierre
2013 Cauchy, Abel, Seidel, Stokes et la convergence uniforme.
Auteur : Arsac Gilbert
2013 Petit x. N° 92. p. 31-31. Activité... Syllogismes.
Auteur : Grenier Denise
2012 Micmac chez les matous.
Auteurs : Cesaroli Anna ; Lem Sophie. Trad. ; Cantone Anna Laura. Illust.
2011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.
Auteur : Lafond Michel
2011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.
Auteurs : Fabert Charlotte ; Grenier Denise
2011 De la méthode.
Auteur : Serfati Michel. Dir.
2011 De la méthode. Thèses d'existence et travail mathématique. p. 243-264.
Auteur : Michel Alain
2011 Recherches en didactique des mathématiques. Vol. 31. N° 3. p. 359-390. Les pratiques langagières de validation des étudiants en analyse réelle.
Auteur : Barrier Thomas
2011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.
Auteur : Lacombe Daniel
2010 Actes du séminaire national de didactique des mathématiques 2009. La démonstration : une logique en situation ? p. 243-266.
Auteur : Arsac Gilbert
2010 PLOT. Nouvelle série. N° 32. p. 23-26. Un vade-mecum sur la logique.
Auteurs : Malrieu Lise ; Plane Henry
2009 Recherches en didactique des mathématiques. Vol. 29. N° 2. p. 123-154. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite.
Auteur : Chellougui Faïza
2009 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. La démonstration : une logique en situation ?
Auteur : Arsac Gilbert
2007 Actes du séminaire national de didactique des mathématiques 2006. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite. p. 101-121.
Auteur : Chellougui Faïza
2005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
Auteur : Chellougui Faïza
2005 De la terminale à la fac : langage et exigences en mathématiques.
Auteurs : IREM de Rennes Groupe Arithmétique ; Chauvet Françoise ; Guidevay Gérard ; Jamil Joëlle ; Lebaud Marie-Pierre ; Paugam Annette ; Gourdel Katia ; Pelgrin Véronique
2005 Recherches sur l'articulation entre la logique et le raisonnement mathématique dans une perspective didactique. Un cas exemplaire de l'interaction entre analyses épistémologique et didactique.
Auteur : Durand-Guerrier Viviane
2003 L'Ouvert. N° 108.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
2003 L'Ouvert. N° 108. p. 25-33. L'utilisation des quantificateurs dans l'enseignement secondaire tunisien.
Auteur : Chellougui Faïza
2003 Petit x. N° 61. p. 11-34. Approche didactique de la quantification dans la classe de mathématiques dans l'enseignement tunisien.
Auteur : Chellougui Faïza
2003 PLOT. Nouvelle série. N° 3. p. 19-22. Intégrisme et laxisme.
Auteur : Reisz Daniel
2002 Créer et animer un atelier de mathématiques.
Auteur : Hennequin Paul-Louis. Dir.
2001 La logique ou l'art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2001 Petit x. N° 55. p. 35-70. L'implication. Quelques aspects dans les manuels et points de vue d'élèves-professeurs.
Auteur : Deloustal-Jorrand Virginie
2001 Liaison lycée/post-bac.
Auteurs : IREM d'Orléans Groupe lycée/post-bac ; Diagne Malik ; Forest Philippe ; Latouche Serge ; Leroy Annette ; Van den Boom Isabelle ; Vidal Claudine
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique - variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.
Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
2000 Le statut logique des énoncés dans la classe de mathématiques.
Auteurs : Durand-Guerrier Viviane ; Le Berre Maryvonne ; Pontille Marie-Claude ; Feurly-Reynaud Josette
2000 Pourquoi pas ? des Mathématiques.
Auteurs : Weil Dominique ; Slupinsky Markus ; Koch Bernard ; Didierjean André ; Blasco Laure ; Atlagh Mohamed
1999 Bulletin de l'APMEP. N° 423. p. 465-466. Les quantificateurs : ces mal-aimés !
Auteur : Martino André
1999 Bulletin de l'APMEP. N° 423. p. 467-472. Intégrisme - laxisme.
Auteur : Reisz Daniel
1999 Petit x. N° 50. p. 57-79. L'élève, le professeur et le labyrinthe.
Auteur : Durand-Guerrier Viviane
1998 Livre de Bord. Travaux dirigés. Algèbre 1.
Auteurs : Auzimour Annick ; Petit Frédérique
1998 La démonstration. Ecrire des mathématiques au collège et au lycée.
Auteurs : Giorgiutti Italo ; Hilt Dominique ; Houdebine Jean ; Juhel Marie-Annick ; Julo Jean ; Mouraud Geneviève ; Houdebine Jean. Dir.
1998 Faut pas confondre.
Auteur : Tullet Hervé
1997 Bulletin de l'APMEP. N° 409. p. 167-169. Tout... ne... pas.
Auteur : APMEP Commission Mots
1996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.
Auteur : Schmitz François
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
1996 Les philosophes et les mathématiques.
Auteurs : Barbin Evelyne. Dir. ; Caveing Maurice. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1996 Quelques éléments de logique en classe de première.
Auteurs : IREM de Besançon Groupe Lycée ; Anselme Gérald ; Caucheteux Line ; Pétiard François ; Gsell Pierre ; Magnenet Michel ; Martin Michel ; Ravaux Odile
1995 Différents types de savoirs et leur articulation.
Auteurs : Arsac Gilbert ; Grea Jean ; Grenier Denise ; Tiberghien Andrée ; Balacheff Nicolas. Dir.
1995 Différents types de savoirs et leur articulation. Place de la logique formelle comme outil d'analyse des connaissances mises en oeuvre dans le raisonnement mathématique dans une perspective didactique. p. 205-233.
Auteur : Durand-Guerrier Viviane
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
Auteur : Lombardi Henri
1991 Bulletin de l'APMEP. N° 378. p. 161-166. Vers la quantification.
Auteur : Chevallier Jean-Maurice
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1980 SILEX : douze exercices sur les quantificateurs avec un mini-ordinateur.
Auteurs : Bresson Jean-Claude ; Burlereaux Anne ; Jacquot Robert ; Morlet Claude. Dir.
1979 Groupe Français-Mathématiques. T. 1.
Auteur : Parzysz Bernard
1978 Quelques difficultés pédagogiques dans l'enseignement de l'analyse.
Auteurs : Seroux René ; Fouques Alfred
1976 A la recherche du NOYAU des programmes de mathématiques du premier cycle.
Auteurs : Lassave Claude. Dir. ; IREM de Toulouse Equipe Savoir Minimum en fin de Troisième. Dir.
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1971 Eléments de logique pour servir à l'enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
1971 Bulletin de l'APMEP. N° 281. p. 731-752. L'équation, cette inconnue...
Auteurs : Pauly Maurice ; Michau G. ; Oddos Y. ; Schacherer Germain ; Duvert Louis. Dir.
1969 Bulletin de l'APMEP. N° 271. p. 587-596. Variations prudentes sur quelques problèmes d'écriture.
Auteur : Chevallier Jean-Maurice
1961 Bulletin de l'APMEP. N° 217. p. 35-37. A propos des quantificateurs "Quel que soit" et "Il existe".
Auteurs : Dixmier Jacques ; Aubrac J-L ; Walusinski Gilbert
1955 Bulletin de l'APMEP. N° 167. p. 86. Deux notes sur l'emploi des symboles "quel que soit" et "il existe au moins".
Auteur : Félix Lucienne