Liste fiches - Publimath

Logique

Il y a 586 résultats pour cette recherche

2025 Actes du Colloque Raisonner en arithmétique. Est-ce incongru ? Arithmétique et logique. p. 54-72.
Auteur : Cori René
2025 Tangente. N° 223. p. 34-36. Giuseppe Peano et le formalisme.
Auteur : Cantu Paola
2024 Le Petit Vert. N° 157. p. 34-35. Une affaire de jeux logiques à l'école.
Auteur : Waehren Gilles
2024 Tangente. N° 216. p. 6-8. Le neuvième nombre de Dedekind.
Auteur : Aoustin Fabien
2024 Actes du colloque CORFEM 2022. Le raisonnement par l'absurde à la transition lycée-université : que savent faire les élèves et les étudiants ? p. 59-77.
Auteurs : Gardes Denis ; Gardes Marie-Line
2024 Actes du colloque CORFEM 2022. L'implication, pierre angulaire du raisonnement. p. 165-185.
Auteurs : Gardes Denis ; Gardes Marie-Line
2024 Le Petit Vert. N° 158. p. 23-24. Des jeux logiques pour l'été.
Auteur : Waehren Gilles
2024 Tangente. N° 218. p. 12-13. La notion de paradoxe.
Auteur : Houlou-Garcia Antoine
2024 Tangente. N° 218. p. 27-27. Ce titre compte quatre cinq six ... mots.
Auteur : Criton Michel
2024 Actes du huitième Colloque EMF 2022. La résolution des contradictions Un levier pour développer les compétences logiques. p. 285-297.
Auteur : Durand-Guerrier Viviane
2024 Actes du huitième Colloque EMF 2022. Bilan des Groupes de travail n° 3. p. 376-383.
Auteurs : Venant Fabienne. Dir. ; Abouhanifa Said. Dir. ; Gbaguidi Ahonankpon Florent. Dir. ; Demonty Isabelle. Dir.
2023 Au fil des maths. N° 547. p. 58-62. Démonstrations et programmes.
Auteur : Dacunha-Castelle Didier
2022 Tangente. N° 205. p. 16-17. Les diagrammes chez Lewis Carroll.
Auteur : Reale Cesco
2022 Tangente. N° 206. p. 21-21. Alfred Whitehead, un complice dans l'ombre.
Auteur : Hauchecorne Bertrand
2022 Actes du colloque CORFEM 2021. Pouvoir générique d'une preuve. p. 4-15.
Auteur : Battie Véronique
2022 Au fil des maths. N° 544. p. 51-58. Mais qui a tué Alan Turing ?
Auteurs : Mouez Stéphane ; Vergnaud Katia
2022 Au fil des maths. N° 544. p. 65-70. Petite enquête sur la logique dans la scolarité.
Auteur : Boucher François
2022 Au fil des maths. N° 544. p. 71-76. Eléments théoriques sur l'implication.
Auteur : Mesnil Zoé
2022 Tangente. N° 206. p. 16-17. Un siècle de vie passionnée.
Auteur : Hauchecorne Bertrand
2022 Tangente. N° 206. p. 18-20. Un génie hors des sentiers battus.
Auteur : Hauchecorne Bertrand
2022 Tangente. N° 206. p. 25-25. Ludwig Wittgenstein, un élève qui détonne.
Auteur : Hauchecorne Bertrand
2022 Tangente. N° 206. p. 28-28. A bord du Bertrand Russell.
Auteur : Ravera Kylie
2022 Actes du colloque CORFEM 2021. Situation de recherche pour la classe : Pac-Man contre les fantômes. p. 15-33.
Auteurs : Antoine Camille ; Beffara Emmanuel ; Molinier Rémi ; Paulin Florence ; Grenier Denise
2022 Mathématice. N° 83. La logique : histoire et enseignement.
Auteurs : Ernoult Alice ; Ycart Bernard
2022 Le Petit Vert. N° 152. p. 63-65. Ou bien. ou bien.
Auteur : Lambois Didier
2022 Introduction à la théorie de la démonstration.
Auteurs : Galvan Sergio ; Mancosu Paolo ; Zach Richard ; Aggoune Yacine. Trad. ; Appadourai David. Trad. ; Rolland Agathe. Trad. ; Waszek David. Trad.
2021 Repères-IREM. N° 122. p. 61-87. Une approche pluridisciplinaire du raisonnement.
Auteurs : Allée Goulven ; Cavagna Eric ; D'Hoop Guillaume ; Frassetti-Pecques Corinne ; Gandit Michèle
2021 Algorithmique au cycle 3 : trois séquences d'enseignement.
Auteurs : IREM Centre Val de Loire Groupe Mathématiques au cycle 3 ; Adde Guillaume ; Beck Vincent ; Faucillon-Prou Magali ; Philipponneau Maud ; Quatrefages Elizabeth ; Rémond Séverine ; Rossilli Pauline ; Siguret Sophie ; Simon Nathalie
2021 Au fil des maths. Hors-série N° 1. p. 127-133. Trois jeux de la brochure Jeux Ecollège 4.
Auteur : Bertrand Françoise
2021 Au fil des maths. Hors-série N° 1. p. 134-135. Match Point une brochure JEUX pas comme les autres !
Auteur : Fromentin Jean
2021 Cosinus. N° 238. p. 20-25. Les biais cognitifs.
Auteur : Beck Nicolas
2021 Tangente. N° 202. p. 30-32. L'exception qui ne confirme pas la règle.
Auteur : Hauchecorne Bertrand
2021 Au fil des maths. N° 542. p. 58-64. Utiliser ou démontrer une implication.
Auteur : Mesnil Zoé
2021 Fous des maths - Problèmes fantasmagoriques.
Auteurs : Crivellini Mattia. Dir. ; Baruzzi Agnese. Illust.
2020 Jeux Ecollège 4.
Auteur : APMEP Groupe Jeux
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
Auteurs : Leon Nicolas ; Modeste Simon
2020 Tangente. N° 192. p. 28-30. Ces paradoxes qui ébranlèrent les mathématiques.
Auteur : Hauchecorne Bertrand
2020 Tangente. N° 192. p. 31-31. Le paradoxe de Richard.
Auteur : Hauchecorne Bertrand
2020 Tangente. N° 192. p. 32-33. Les théorèmes d'incomplétude de Gödel.
Auteur : Lehning Hervé
2020 Tangente. N° 192. p. 41-41. Autoréférence à tous les étages.
Auteur : Angelini Eric
2020 Tangente Education. N° 53. p. 12-13. Alice et la logique.
Auteur : Ernoult Alice
2020 Tangente Education. N° 53. p. 14-15. Le ET et le OU à l'épreuve du quotidien.
Auteur : Lebrun Patricia
2020 Repères-IREM. N° 121. p. 77-105. Du problème de Wang vers une nouvelle situation de recherche pour la classe.
Auteurs : Da Ronch Mickaël ; Gandit Michèle ; Gravier Sylvain
2020 Histoires de Mathématiques. Logique. Barbara, Celarent, Darii, Ferio.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Socrate est mortel.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Falsafat Aristutalis.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La Grande Réforme.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La Grande Famine.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Messieurs de Port-Royal.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Lettres à une princesse d'Allemagne.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La crise des fondements.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. More geometrico.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La logique des philosophes.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Le tournant mathématique.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Les philosophes de Cordoue.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Dialogue du cheval blanc.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. La cité de Dharma.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Les axiomes de Peano.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Le chien d'Alcibiade.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. L'antre des nymphes.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. De l'autre côté du miroir.
Auteur : Ycart Bernard
2020 Le Petit Vert. N° 141. p. 15-18. Cycle sur exemples / contre-exemples / clichés.
Auteur : Lycée - Fameck Equipe mathématique
2020 APMEP - Dossier n° 3041. Rouge et vert.
Auteur : APMEP Groupe Jeux
2020 Au fil des maths. N° 535. p. 86-87. Match Point une brochure JEUX pas comme les autres !
Auteur : Fromentin Jean
2019 Grand N. N° 103. p. 5-40. L'argumentation dans la résolution de problèmes mathématiques - une étude de cas liée à un rallye au cycle 3.
Auteurs : Coulange Lalina ; Fourcade Anne-Claire
2019 Bibliothèque Tangente. N° 38. Edition 2019. Gottlob Frege. p. 54-55.
Auteur : Thomas Edouard
2019 Bibliothèque Tangente. N° 38. Edition 2019. Logique et langage. p. 44-44.
Auteur : Thomas Edouard
2019 Bibliothèque Tangente. N° 38. Edition 2019. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
Auteur : Lehning Hervé
2019 Bibliothèque Tangente. N° 38. Edition 2019. Paradoxes logiques. p. 52-53.
Auteurs : Boulanger Philippe ; Zalmanski Alain
2019 Bibliothèque Tangente. N° 38. Edition 2019. Paradoxes en folies. p. 56-57.
Auteurs : Boulanger Philippe ; Zalmanski Alain
2019 Bibliothèque Tangente. N° 38. Edition 2019. Lewis Carroll et la logique. p. 58-61.
Auteur : Criton Michel
2019 Bibliothèque Tangente. N° 38. Edition 2019. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2019 Bibliothèque Tangente. N° 38. Edition 2019. Paradoxes moraux. p. 67-67.
Auteur : Zalmanski Alain
2019 Bibliothèque Tangente. N° 38. Edition 2019. Syntaxe et sémantique en logique. p. 68-69.
Auteur : Lehning Hervé
2019 Bibliothèque Tangente. N° 38. Edition 2019. Questions philosophiques. p. 151-154.
Auteur : Criton Michel
2019 Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique.
Auteur : Haralambous Yannis
2019 Vidéo de l'IREM de Paris - Capsules Manuel. Logique et apprentissage du langage et du raisonnement mathématiques.
Auteur : Mesnil Zoé
2019 Proceedings of the Eighth European Summer University on History and Epistemology in Mathematics Education. On mathematical reasoning. p. 131-141.
Auteur : Mutanen Arto
2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2019 Tangente. N° 191. p. 44-45. Quelques autoréférences textuelles.
Auteur : Angelini Eric
2019 Tangente. N° 191. p. 50-51. Jouer avec des nombres.
Auteur : Angelini Eric
2019 Tangente. N° 191. p. 38-41. Paradoxes et autocontradictions.
Auteur : Boulanger Philippe
2019 Tangente. N° 191. p. 42-43. Autoréférence et point fixe.
Auteur : Lehning Hervé
2019 Tangente. N° 191. p. 46-49. La suite audioactive.
Auteur : Lignon Daniel
2019 Tangente. N° 191. p. 52-52. Trois cauchemars.
Auteur : Ravera Kylie
2019 Petit x. N° 109. p. 46-48. Activité - Une histoire de cubes insécables.
Auteur : Da Ronch Mickaël
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 Petit x. N° 110-111. p. 131-136. Eléments de réponse à l'activité du n° 109.
Auteur : Da Ronch Mickaël
2019 Actes du Colloque EMF 2018. Etude des raisonnements mathématiques d'élèves de première année lors de la réalisation d'une activité nécessitant l'utilisation de matériel de manipulation. p. 266- 274.
Auteurs : Jeannotte Doris ; Corriveau Claudia
2019 Actes du Colloque EMF 2018. Pensée intuitive en classe de mathématiques. p. 275-283.
Auteur : Rioux Miranda
2019 Actes du séminaire national de didactique des mathématiques 2018. Contrôle, preuve et démonstration trois régimes de la validation. p. 423-456.
Auteur : Balacheff Nicolas
2019 Actes du séminaire national de didactique des mathématiques 2018. Les Situations de Recherche par Maths à Modeler : articuler recherche, formation et diffusion. p. 172-191.
Auteurs : Modeste Simon ; Deloustal-Jorrand Virginie
2019 Actes du séminaire national de didactique des mathématiques 2018. Elaboration et usages d'un modèle multidimensionnel d'analyse des raisonnements en classe de mathématiques. p. 289-312.
Auteur : Gibel Patrick
2019 Ensembles et logique.
Auteur : IREM d'Aquitaine Groupe REMSup
2019 Le Petit Vert. N° 140. p. 32-34. Séance sur le raisonnement.
Auteur : Marx Hélène
2018 Tangente Education. N° 45. p. 20-21. Fusées mathématiques à plusieurs étages.
Auteur : Criton Michel
2018 Au fil des maths. N° 528. p. 49-54. Vrai ou Faux ? Parlons-en !
Auteurs : Hache Christophe ; Forgeoux Emmanuelle
2018 Au fil des maths. N° 528. p. 63-64. 3 est-il inférieur ou égal à 4 ?
Auteur : Mounier Georges
2018 Au fil des maths. N° 528. p. 65-68. Comprendre le langage mathématique.
Auteur : Cunha Sueli
2018 Tangente. N° 183. p. 30-33. Raisonner, c'est résoudre.
Auteur : Busser Elisabeth
2018 Tangente. N° 183. p. 34-35. Elémentaire et puissant : le principe des tiroirs.
Auteur : Fondanaiche Philippe
2018 Tangente. N° 183. p. 36-37. Les techniques du prodigieux Terence Tao.
Auteur : Bair Jacques
2018 Tangente. N° 183. p. 38-39. Les animaux aussi font des maths !
Auteur : Bair Jacques
2018 Tangente. N° 183. p. 40-41. Les "haha" de Martin Gardner.
Auteur : Criton Michel
2018 Tangente. N° 183. p. 44-47. Mettons nos montres à l'heure.
Auteur : Criton Michel
2018 Tangente. N° 183. p. 42-42. Des problèmes venus du Moyen Âge.
Auteur : Hauchecorne Bertrand
2018 Tangente. N° 183. p. 48-48. Empiler des boulets de canon.
Auteur : Criton Michel
2018 Actes du séminaire national de didactique des mathématiques 2016. Elaboration d'une référence pour l'enseignement de la logique. p. 154-175.
Auteur : Mesnil Zoé
2018 Petit x. N° 108. p. 5-40. Le raisonnement par l'absurde - Une étude didactique pour le lycée.
Auteurs : Bernard Dominique ; Gardes Denis ; Gardes Marie-Line ; Grenier Denise
2018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".
Auteur : Cori René
2018 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. Les Situations de Recherche par Maths à Modeler.
Auteurs : Modeste Simon ; Deloustal-Jorrand Virginie
2018 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. Elaboration et usages d'un modèle multidimensionnel d'analyse des raisonnements en classe de mathématiques.
Auteur : Gibel Patrick
2017 Repères-IREM. N° 106. p. 27-46. Diversité des méthodes de résolution pour un même problème.
Auteurs : Arenas Chloée ; Murphy Céline
2017 Enseignement de la notion d'égalité en classe de mathématiques au collège.
Auteurs : IREM d'Aix-Marseille Groupe Collège ; Barichard Alain ; Bruno Matthieu ; Friche Charly ; Garrigue Olivier ; Haddad Lionel ; Nény Florence ; Quatrini Myriam
2017 Situations de recherche pour la classe, pour le collège et le lycée... et au-delà. Nouvelle édition revue et augmentée.
Auteurs : IREM de Grenoble Groupe Logique raisonnement et SiRC ; Grenier Denise ; Bacher Roland ; Barbe Hervé ; Beffara Emmanuel ; Bicaïs Yvan ; Charlot Grégoire ; Decauwert Monique ; Deraux Martin ; Gezer Tarkan ; Meilhan Jean-Baptiste ; Mouton Frédéric ; Fabert Charlotte. Collab.
2017 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. Contrôle, preuve et démonstration. Trois régimes de la validation.
Auteur : Balacheff Nicolas
2017 Mathématique du crime.
Auteurs : Martinez Guillermo ; Jimenez Eduardo. Trad.
2017 Histoires de Mathématiques. Arithmétique. Des marges trop exiguës.
Auteur : Ycart Bernard
2017 Histoires de Mathématiques. Arithmétique. Et ainsi de suite à l'infini.
Auteur : Ycart Bernard
2017 Histoires de Mathématiques. Informatique. Le piano de Jevons.
Auteur : Ycart Bernard
2017 Histoires de Mathématiques. Informatique. Le Don Quichotte de la nation.
Auteur : Ycart Bernard
2017 Le Petit Vert. N° 129. p. 46-48. L'absurde et ses vertus positives.
Auteur : Lambois Didier
2016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.
Auteur : Gressier Jacques
2016 Situations de recherche pour la classe, pour le collège et le lycée... et au-delà.
Auteurs : IREM de Grenoble Groupe Logique raisonnement et SiRC ; Grenier Denise ; Bacher Roland ; Barbe Hervé ; Bicaïs Yvan ; Charlot Grégoire ; Decauwert Monique ; Deraux Martin ; Gezer Tarkan ; Meilhan Jean-Baptiste ; Mouton Frédéric
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. 66-66. Activité... Partage d'un carré en n carrés.
Auteur : IREM de Grenoble Groupe Logique raisonnement et SiRC
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
2016 Grand N. N° 97. p. 59-72. Une lecture scientifique de l'album "Mais où est donc Ornicar" ?
Auteurs : Bruguière Catherine ; Charles Frédéric ; Moulin Marianne ; Cabodi Laurence ; Monin Ségolène
2016 Topologie et continuité.
Auteur : Ofman Salomon
2016 Annales de didactique et de sciences cognitives. V. 21. p. 235-266. Un retour de notions de logique dans les programmes de mathématiques pour le lycée : un nouveau savoir à enseigner.
Auteur : Mesnil Zoé
2016 Repères-IREM. N° 105. p. 5-20. La logique mathématique : un langage expert à s'approprier.
Auteurs : Fitamant Christelle ; Saux-Picart Philippe ; Tirat Marie-Aline
2016 Tangente. N° 173. p. 16-17. Déduction ou induction... et l'abduction alors ?
Auteur : Justens Daniel
2016 Oeuvres d'Ernest Coumet - Tome 1.
Auteurs : Coumet Ernest ; Martin Thierry. Dir. ; Roux Sophie. Dir. ; Roux Sophie. Préf.
2016 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. La logique : d'un outil pour le langage et le raisonnement mathématiques vers un objet d'enseignement.
Auteur : Mesnil Zoé
2016 History and Pedagogy of Mathematics: july 18-22 2016, Montpellier, France. Initier les étudiants à la distinction entre vérité dans une interprétation et validité logique en s'appuyant sur la théorie du syllogisme formel d'Aristote. p. 371-381.
Auteur : Durand-Guerrier Viviane
2016 Ressources transversales. Les mathématiques par les jeux. Activités mathématiques autour du jeu de bridge.
Auteurs : IREM de Basse-Normandie Groupe Jeux2Maths ; IREM de Montpellier Groupe Jeux ; IREM de Besançon Groupe Jeux ; IREM de Lille Groupe Jeux ; IREM des Pays de la Loire Groupe Jeux ; Ministère de l'éducation nationale de l'enseignement supérieur et de la recherche. Ed.
2016 Cahiers pédagogiques. N° 529. p. 55-56. Langage et raisonnement.
Auteur : Duvert Rémi
2015 La logique : d'un outil pour le langage et le raisonnement mathématiques vers un objet d'enseignement.
Auteur : Mesnil Zoé
2015 Repères-IREM. N° 100. p. 65-80. De la nécessité de définir les notions de logique au lycée.
Auteur : Grenier Denise
2015 La logique.
Auteur : Dowek Gilles
2015 La logique pas à pas.
Auteur : Duparc Jacques
2015 Petit x. N° 97. p. 27-43. Pratiques langagières des mathématiciens : une étude de cas avec "avec".
Auteur : Hache Christophe
2015 Cahiers du Laboratoire de Didactique André Revuz. N° 15. L'Analogie : Etudes sur son usage en didactique en Chimie, en Mathématiques, en Physique.
Auteurs : Vivier Laurent. Dir. ; Douaire Jacques. Dir.
2015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. Parallels between phylogeny and ontogeny of logic. p. 323-331.
Auteur : Zavrel Karel
2015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. Quand les "mathématiques modernes" questionnent les méthodes pédagogiques dans l'enseignement secondaire (1904-1910). p. 781-797.
Auteur : Renaud Hervé
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 Colloque EMF 2015. L'utilisation des degrés de certitude comme outil de professionnalisation en formation des maîtres du premier degré. p. 95-107.
Auteurs : Deruaz Michel ; Buenzli Luc-Olivier
2015 Actes du Colloque EMF 2015. Le débat scientifique en classe : une démarche d'investigation collective pour une culture scientifique commune. p. 847-860.
Auteurs : Charlot Grégoire ; Lecorre Thomas ; Legrand Marc ; Leroux Antoine ; Di Martino Hélène
2015 Le Petit Vert. N° 124. p. 65-65. Le sophisme du trimestre.
Auteur : Verdier Jacques. Dir.
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
2015 Actes du 22e colloque de la CORFEM. De l'évaluation des pratiques enseignantes à celle de la formation des enseignants. Un parcours indispensable pour améliorer la conduite des apprentissages.
Auteur : Etienne Richard
2015 Pourquoi ça n'avance pas ?
Auteurs : Ohmura Tomoko ; Bouvier Jean-Christian. Trad.
2014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.
Auteur : Larrieu Jean-Yves
2014 Histoire de la logique.
Auteur : Belna Jean-Pierre
2014 Bulletin de l'APMEP. N° 507. p. 5-13. La récurrence à toutes les sauces.
Auteurs : Bonneval Louis-Marie ; Combelles Catherine ; Moreau Julien
2014 Repères-IREM. N° 95. p. 81-102. La transition secondaire-université : une expérience en Belgique.
Auteur : Bridoux Stéphanie
2014 PLOT. Nouvelle série. N° 45. p. 13-17. Au collège comme au lycée : une activité sur les connecteurs ET et OU.
Auteur : IREM de Paris Groupe Logique
2014 PLOT. Nouvelle série. N° 45. p. 6-12. Les connecteurs Et et OU dans les programmes de lycée.
Auteurs : IREM de Paris Groupe Logique ; Mesnil Zoé. Dir.
2014 Petit x. N° 94. p. 70-70. Activité... Une énigme policière.
Auteur : Lebrat Guillaume
2014 Mathématice. N° 38. Introduction de la dérivée en LP.
Auteurs : Meilland Christian ; Rey Norbert
2014 Les raisonnements mathématiques.
Auteur : Mercier Dany-Jack
2014 La logique au fil de l'eau : réflexion collaborative entre mathématiques et français.
Auteur : IREM de Bretagne Occidentale Groupe IREM de Logique (GIL)
2014 Bulletin AMQ. Vol. 54. N° 1. p. 13-20. Le problème de Freudenthal et son hypothèse implicite.
Auteur : Audet Daniel
2014 50 problèmes (et plus si affinités) : pour les élèves de CM et de sixième.
Auteurs : Daran Alain ; Le Berre Maryvonne ; Mulet-Marquis René
2014 Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).
Auteur : Krivine Jean-Louis
2014 Vidéo de l'IREM de Paris - Conférences. Grandeur et décadence de l'enseignement de la logique au lycée.
Auteur : Mesnil Zoé
2014 Vidéo de l'IREM de Paris - Conférences. Mathématiques appliquées à l'école ? Ah, non !?
Auteur : Barbolosi Dominique
2014 Vidéo de l'IREM de Paris - Conférences. Une ancienne analogie, généralement (à juste titre ?) négligée ?
Auteur : Sabbagh Gabriel
2014 Le Petit Vert. N° 119. p. 37-39. Aristote et Barbara.
Auteur : Lambois Didier
2014 Le Petit Vert. N° 120. p. 14-16. Aristote et Barbara (suite).
Auteur : Lambois Didier
2014 Actes du 21e colloque de la CORFEM. Logique et langage dans la classe de mathématiques et la formation.
Auteur : Mesnil Zoé
2014 Actes du 21e colloque de la CORFEM. Logique, langage. Enoncés et preuves en mathématiques.
Auteur : Hache Christophe
2014 Actes du 21e colloque de la CORFEM. La pratique des problèmes de recherche pour enseigner la logique et les raisonnements mathématiques.
Auteur : Grenier Denise
2013 PLOT. Nouvelle série. N° 42. p. 19-21. Cartes mentales.
Auteur : Debertonne-Dassule Florence
2013 Repères-IREM. N° 90. p. 43-48. Rubrique Point de vue : Faut-il enseigner le raisonnement mathématique de manière formelle ?
Auteur : Lombardi Henri
2013 50 problèmes . et plus si affinités pour les élèves de 4ème et 3ème.
Auteurs : Le Berre Maryvonne ; Mulet-Marquis René
2013 Petit x. N° 92. p. 31-31. Activité... Syllogismes.
Auteur : Grenier Denise
2013 Quadrature. N° 90. p. 18-23. Les nombres réels calculables selon Alan Turing.
Auteur : Lombardi Henri
2013 Le Rêve de la raison.
Auteurs : Fresán Javier ; Buzzi Jérôme. Préf. ; Halaoua Youssef. Trad. ; Ly Maguy. Trad. ; Moinereau Laurence. Trad. ; Villani Cédric. Collab.
2013 Bulletin de l'APMEP. N° 506. p. 600-610. La récurrence au fil des siècles.
Auteur : Legrand Pierre
2013 Bibliothèque Tangente. N° 48. Le boss des maths ou le paradoxe du chat. p. 130-133.
Auteur : Justens Daniel
2013 Repères-IREM. N° 93. p. 5-36. L'algèbre ou l'école de la raison.
Auteur : Lesesvre Didier
2013 Bibliothèque Tangente. N° 49. Les trois dés. p. 148-149.
Auteur : Souder Dominique
2013 Bibliothèque Tangente. N° 49. Le problème impossible. p. 114-115.
Auteurs : Criton Michel ; Van Offel Laurent
2013 Tangente Hors-série. N° 49. p. 46-47. Le problème impossible.
Auteurs : Criton Michel ; Van Offel Laurent
2012 Repères-IREM. N° 87. p. 41-58. La correspondance mathématique : d'un dispositif de recueil de données à un dispositif pédagogique.
Auteurs : IREM de Nantes Groupe Correspondance Mathématique ; Aubry Sylvie ; Boyer Anne ; Comairas Marie-Céline ; Génin Mireille ; Hersant Magali ; Moulin Simon
2012 Tangente Hors-série. N° 48. p. 18-21. Le boss des maths ou le paradoxe du chat.
Auteur : Justens Daniel
2012 Micmac chez les matous.
Auteurs : Cesaroli Anna ; Lem Sophie. Trad. ; Cantone Anna Laura. Illust.
2012 Pour la Science. Dossier N° 74. p. 68-73. L'incomplétude, le hasard et la physique.
Auteur : Delahaye Jean-Paul
2012 Petit x. N° 88. p. 27-47. Une étude didactique du concept de récurrence.
Auteur : Grenier Denise
2012 Actes des 18e et 19e colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.
Auteurs : Hache Christophe ; Mesnil Zoé
2012 Actes du Colloque EMF 2012. La place de la logique dans l'enseignement des mathématiques au lycée en France. p. 457-466.
Auteur : Mesnil Zoé
2012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.
Auteurs : Chellougui Faïza ; Kouki Rahim
2012 Actes du Colloque EMF 2012. Difficultés d'étudiants universitaires débutant avec la preuve. p. 953-963.
Auteur : Azrou Nadia
2011 CultureMATH. Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique. 1- Avant Boole : un lent cheminement.
Auteur : Le Mignot Alain
2011 CultureMATH. Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique. 1- Avant Boole : un lent cheminement.
Auteur : Le Mignot Alain
2011 CultureMATH. Dossier Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique.
Auteur : Le Mignot Alain
2011 Actes du séminaire national de didactique des mathématiques 2010. Les relations entre Logique, Preuve et Apprentissages mathématiques : une question d'actualité en didactique des mathématiques ? (Résumé) p. 5.
Auteur : Durand-Guerrier Viviane
2011 La figure et la lettre. Voir des figures, des raisonnements et des équations : une approche sémiotique de la démonstration. p. 189-211.
Auteur : Barbin Evelyne
2011 Repères-IREM. N° 85. p. 5-30. Bilan de praticiens sur la transition Lycée-Université.
Auteurs : Dieudonné Marion ; Droniou Jérome ; Durand-Guerrier Viviane ; Ray Benoît ; Théret David
2011 Comment penser comme un mathématicien.
Auteurs : Houston Kevin ; Lemoine André. Trad.
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. Thèses d'existence et travail mathématique. p. 243-264.
Auteur : Michel Alain
2011 De la méthode. La psychologie dans les fondements de la Logique et des mathématiques. Les cas de Boole, Cantor et Brouwer. p. 213-240.
Auteurs : Grattan-Guinness Ivor ; Michel-Pajus Anne. Trad.
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 Faites la queue !
Auteurs : Ohmura Tomoko ; Bouvier Jean-Christian. Trad.
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
2011 Le dévouement du suspect X.
Auteurs : Higashino Keigo ; Refle Sophie. Trad.
2010 Bulletin de l'APMEP. N° 486. p. 23-30. Parlons d'algorithmes.
Auteur : Canet Jean-François.
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 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2010 PLOT. Nouvelle série. N° 32. p. 23-26. Un vade-mecum sur la logique.
Auteurs : Malrieu Lise ; Plane Henry
2010 Losanges. N° 7. p. 15-23. Le problème d'Isis : de l'Egypte antique au 21e siècle !
Auteurs : De Bock Dirk ; Van Dooren Wim ; Greer Brian
2010 Bibliothèque Tangente. N° 38. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
Auteur : Lehning Hervé
2010 Bibliothèque Tangente. N° 38. Gottlob Frege. p. 54-54.
Auteur : Thomas Edouard
2010 Bibliothèque Tangente. N° 38. Paradoxes logiques. p. 52-53.
Auteurs : Boulanger Philippe ; Zalmanski Alain
2010 Bibliothèque Tangente. N° 38. Lewis Carroll et la logique. p. 58-61.
Auteur : Criton Michel
2010 Bibliothèque Tangente. N° 38. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2010 Bibliothèque Tangente. N° 38. Questions philosophiques. p. 150-153.
Auteur : Criton Michel
2010 Bibliothèque Tangente. N° 38. Logique et langage. p. 44-44.
Auteur : Thomas Edouard
2010 Bibliothèque Tangente. N° 38. Paradoxes en folies. p. 56-57.
Auteurs : Boulanger Philippe ; Zalmanski Alain
2010 Bibliothèque Tangente. N° 38. Paradoxes moraux. p. 67-67.
Auteur : Zalmanski Alain
2010 Bibliothèque Tangente. N° 38. Syntaxe et sémantique en logique. p. 68-69.
Auteur : Lehning Hervé
2010 Expressions. N° 35. Histoire et philosophie des sciences. p. 75-91. La négation logique "simple". Cadre didactique, leçon et résultats.
Auteur : Vatonne Marie-Catherine
2010 Expressions. N° 35. Histoire et philosophie des sciences. p. 93-117. Pratique d'une pédagogie de l'étonnement en mathématiques en classe de seconde.
Auteur : Mathieu Anne
2010 Construction : Festschrift for Gerhard Heinzmann. Heinzmann, Hintikka, et la vérité. p. 387-396.
Auteur : Rebuschi Manuel
2010 Construction : Festschrift for Gerhard Heinzmann. Russell and the Meaning of Contradiction. p. 397-406.
Auteur : de Rouilhan Philippe
2010 Construction : Festschrift for Gerhard Heinzmann. Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics. p. 417-430.
Auteur : Tulenheimo Tero
2009 Feuille de vigne. N° 111. p. 29-40. Représentation en 3 dimensions des tables de Karnaugh.
Auteur : Pretot Bruno
2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
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 Actes du XXXVème colloque COPIRELEM Bombannes 2008. Influence de la nature de la situation sur l'apparition le traitement et l'usage par l'enseignant des raisonnements produits par des élèves.
Auteur : Gibel Patrick
2009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
Auteur : Lehning Hervé
2009 Tangente Hors-série. N° 38. p. 54-56. Questions philosophiques.
Auteur : Criton Michel
2009 Tangente Hors-série. N° 38. p. 44-44. Gottlob Frege.
Auteur : Thomas Edouard
2009 Tangente Hors-série. N° 38. p. 46-47. Paradoxes logiques.
Auteur : Zalmanski Alain
2009 Tangente Hors-série. N° 38. p. 48-49. Lewis Carroll et la logique.
Auteur : Criton Michel
2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d'incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
2009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
Auteur : Lehning Hervé
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
2009 Ressources pour les classes de 6e, 5e, 4e, et 3e du collège - Raisonnement et démonstration.
Auteur : Ministère de l'Education Nationale DGESCO. Dir.
2008 CultureMATH. C'est pas du français, ça !
Auteur : Louchard Valérie
2008 La mathématique du Chat.
Auteurs : Justens Daniel ; Geluck Philippe
2008 Revue d'Histoire des Mathématiques. N° 14. Vol. 1. p. 77-111. Gödel et la thèse de Turing.
Auteur : Cassou-Noguès Pierre
2008 Quadrature. N° 68. p. 5-6. Mots, maths et histoire : Mathématiques et propositions.
Auteur : Hauchecorne Bertrand
2008 Mathématique du crime.
Auteurs : Martinez Guillermo ; Jimenez Eduardo. Trad.
2008 Annales de didactique et de sciences cognitives. V. 13. p. 5-39. Analyse en théorie des situations d'une séquence destinée à développer les pratiques du raisonnement en classe de mathématiques à l'école primaire.
Auteur : Gibel Patrick
2008 CultureMATH. Collaborer avec les collègues de français.
Auteur : Carles Marie-Josèphe
2008 Quel fou de logique êtes-vous ?
Auteur : Myers Bernard
2008 L'AUTAN. N° 2. L'art de raisonner juste sur des figures fausses. p. 37-41.
Auteur : Cuppens Roger
2008 Interstices. L'incroyable problème de Freudenthal.
Auteur : Delahaye Jean-Paul
2008 Culture maths. Ionesco ou l'invention de nouveaux axiomes théâtraux. p. 31-35.
Auteur : Verdier Norbert
2007 Histoire et enseignement des mathématiques. Fragments d'histoire des fondements de la géométrie plane. p. 147-174.
Auteurs : Escofier Jean-Pierre ; Hamon Gérard ; Le Corre Loïc ; Quinton Pascal
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
2007 CultureMATH. Narrations de recherche en mathématiques.
Auteurs : Bérélovitch Marie-Rose ; Brin Philippe ; Bourgeois Pierre ; Carles Marie-Josèphe ; Chalons Christophe ; Cori René ; Deledicq André ; Hallez Maryvonne ; Moyon Marc ; Proust Christine ; Wulfman Tamara
2007 Repères-IREM. N° 67. p. 31-42. Introduction aux lois de probabilités continues : problèmes épistémologiques.
Auteur : Thiénard Jean-Claude
2007 Histoire et enseignement des mathématiques. De l'étude des solides à la construction de l'espace. p. 109-146.
Auteurs : Aspra Janine ; Marmier Anne-Marie ; Martinez Isabelle
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2007 Jeux de logique.
Auteur : Deledicq Jean-Christophe
2007 Histoire et enseignement des mathématiques. Les méthodes graphiques dans l'histoire et dans l'enseignement. p. 263-285.
Auteur : Tournès Dominique
2007 Histoire et enseignement des mathématiques. Les démonstrations du postulat des parallèles. p. 29-62.
Auteur : Bkouche Rudolf
2007 Histoire et enseignement des mathématiques. A propos de la démonstration mathématique qu'il faut faire payer les pauvres. p. 89-106.
Auteur : Zerner Martin
2007 Histoire et enseignement des mathématiques. La tradition algébrique arabe du traité d'Al-Khwarizmi au Moyen Age latin et la place de la géométrie. p. 289-318.
Auteur : Moyon Marc
2007 Cosinus. N° 86. p. 18-20. De la logique avec les diagrammes "patates" et tableaux de Karnaugh.
Auteur : Souder Dominique
2007 Histoire et enseignement des mathématiques. Les discours de l'évidence mathématique. p. 13-28.
Auteur : Barbin Evelyne
2007 Histoire et enseignement des mathématiques. Rigueurs, erreurs, raisonnements.
Auteurs : Barbin Evelyne. Dir. ; Bénard Dominique. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2007 Les contre-exemples en mathématiques.
Auteur : Hauchecorne Bertrand
2007 Le trésor des paradoxes.
Auteurs : Boulanger Philippe ; Cohen Alain
2007 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu'on n'a jamais voulu vous révéler.
Auteur : Lacombe Daniel
2007 Bibliothèque Tangente. N° 28. Ionesco ou l'invention de nouveaux axiomes théâtraux. p. 60-63.
Auteur : Verdier Norbert
2007 Pour la Science. N° 356. p. 90-95. L'incroyable problème de Freudenthal.
Auteur : Delahaye Jean-Paul
2007 Le Petit Vert. N° 89. p. 8-10. Un Logigramme.
Auteurs : Thinus Nathalie ; Coursimault Céline
2006 Actes du XXXIIe colloque COPIRELEM. Argumentation en mathématiques et dans d'autres disciplines : présentation de résultats de recherches récentes.
Auteur : Douaire Jacques
2006 PLOT. Nouvelle série. N° 14. p. 2-9. Du CM2 à la sixième : quelques pistes pour une transition plus efficace (2ème partie).
Auteur : Salin Marie-Hélène
2006 PLOT. Nouvelle série. N° 14. p. 18-19. Une suite logique ? Des suites et des logiques !
Auteur : Parpay Serge
2006 Actes du XXXIIe colloque COPIRELEM. A propos de l'enseignement des solides : quelles mathématiques faire vivre à l'école ? Quels outils pour la formation des maîtres ?
Auteurs : Aubertin Jean-Claude ; Girmens Yves ; Maurin Claude ; Roye Louis
2006 Petit x. N° 71. p. 7-28. Equations et inéquations au secondaire entre syntaxe et sémantique
Auteur : Kouki Rahim
2006 PLOT. Nouvelle série. N° 13. p. 2-7. Du CM2 à la sixième : quelques pistes pour une transition plus efficace.
Auteur : Salin Marie-Hélène
2006 Actes du XXXIIe colloque COPIRELEM. Travailler le raisonnement, l'argumentation et la preuve en plaçant les élèves en situation de recherche.
Auteur : Deloustal-Jorrand Virginie
2006 Jeux et enjeux de langage dans l'élaboration des savoirs en classe. La résolution des contradictions. Apports de la sémantique logique. p. 161-179.
Auteur : Durand-Guerrier Viviane
2006 Bibliothèque Tangente. N° 13. Le paradoxe de Jules Richard. p. 138-141.
Auteur : Casiro Francis
2006 Bibliothèque Tangente. N° 13. Le paradoxe du menteur revisité. p. 142-143.
Auteur : Linassier Julien
2006 Le Chat au pays des nombres.
Auteurs : Ekeland Ivar ; Gautheron Valérie. Trad. ; O'Brien John. Illust.
2005 Actes du XXXIème colloque COPIRELEM sur la formation des maîtres. Comment le jeu mathématique opère-t-il sur les apprentissages mathématiques et sur la construction du langage argumentatif ?
Auteur : Faradji Didier
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 Petit x. N° 68. p. 69-74. Activité... Logique et contes de fées : Alphonse et les lutins.
Auteur : Roussie Claude
2005 Repères-IREM. N° 58. p. 19-35. Pareil, pas pareil ?
Auteur : Porcheron Jean-Louis
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
2005 Apprendre les mathématiques, quelle(s) histoire(s) !? ou lorsque les maths nous montent au nez. Dysfonctionnement du raisonnement logique. p. 1-15.
Auteur : Morel Lydie
2005 50 problèmes (et plus si affinités) : pour les élèves de sixième et cinquième.
Auteurs : Le Berre Maryvonne ; Mulet-Marquis René
2005 50 problèmes (et plus si affinités) : pour les élèves de 4ème et 3ème.
Auteurs : Le Berre Maryvonne ; Mulet-Marquis René
2005 Actes du XXXIème colloque COPIRELEM sur la formation des maîtres. Raisonnement plausible versus raisonnement de nécessité : où est la frontière ?
Auteur : Cabassut Richard
2005 Feuille de Vigne. N° 97. p. 16-23. Résolution de problèmes logiques par le calcul.
Auteur : Lafond Michel
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
2004 Gödel.
Auteur : Cassou-Noguès Pierre
2004 Bulletin de l'APMEP. N° 451. p. 242-271. De l'intuition à l'argumentation.
Auteur : Lombard Philippe
2004 Petit x. N° 64. p. 62-81. Problèmes de transposition didactique.
Auteur : Conne François
2004 Repères-IREM. N° 55. p. 51-70. Viser le "transversal" à travers du bon "disciplinaire".
Auteur : Schneider Maggy
2004 L'implication mathématique : étude épistémologique et didactique.
Auteur : Deloustal-Jorrand Virginie
2004 Annales de didactique et de sciences cognitives. V. 9. p. 175-203. Contribution à l'étude des modes de traitement de la validité de l'implication par de futurs enseignants de mathématiques.
Auteurs : Rogalski Janine ; Rogalski Marc
2004 Petit x. N° 65. p. 50-51. Activité... Jeux et raisonnements mathématiques : tu me fais tourner la tête !
Auteur : ERTé Maths à modeler
2004 Du mode d'existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
2004 Bulletin de l'APMEP. N° 451. p. 216-225. L'induction chez les philosophes et dans la pratique mathématique.
Auteur : Vidal Robert
2004 Repères-IREM. N° 57. p. 19-46. Le goût de la géométrie.
Auteur : Lombard Philippe
2004 Les Génies de la Science. N° 20. Gödel, logique à la folie.
Auteur : Guerrerio Gianbruno
2004 PLOT. Nouvelle série. N° 6. p. 6-8. Test des cosmonautes, logique et réciproque.
Auteur : Larose Valérie
2004 Educational Studies in Mathematics. V. 53. N° 1. p. 5-34. Which notion of implication is the right one? From logical considerations to a didactic perspective.
Auteur : Durand-Guerrier Viviane
2004 Actes du Séminaire National de Didactique des mathématiques 2003. La théorie élémentaire des modèles comme référence épistémologique pour analyser les énoncés et les raisonnements mathématiques : aspects logiques, perspectives didactiques et aperçus linguistiques. p. 207-226.
Auteur : Durand-Guerrier Viviane
2004 Actes du Séminaire National de Didactique des mathématiques 2003. Traitement de la validité de l'implication par des étudiants, corrélations avec leurs performances mathématiques, liens avec diverses questions de psychologique cognitive. p. 227-255.
Auteurs : Rogalski Janine ; Rogalski Marc
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. La logique d'Aristote. p. 6-11.
Auteur : Rittaud Benoît
2004 Bibliothèque Tangente. N° 15. L'intelligence artificielle. p. 52-55.
Auteur : Delerue Nicolas
2004 Bibliothèque Tangente. N° 15. Les circuits logiques. p. 56-61.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
2004 Bibliothèque Tangente. N° 15. Géométrie automatique. p. 70-71.
Auteur : Barthe Daniel
2004 Bibliothèque Tangente. N° 15. La logique floue. p. 72-76.
Auteur : Bouchon-Meunier Bernadette
2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
Auteur : Krivine Jean-Louis
2004 Bibliothèque Tangente. N° 15. Syntaxe et sémantique. p. 96-102.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Lewis Caroll. p. 12-15.
Auteur : Zalmanski Alain
2004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
Auteur : Temam Daniel
2004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
Auteur : Barthe Daniel
2004 Bibliothèque Tangente. N° 15. Logique et théorie des ensembles. p. 24-29.
Auteur : Cohen-Zardi Gérard
2004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
Auteur : Cohen-Zardi Gérard
2004 Bibliothèque Tangente. N° 15. Le tiers-exclu. p. 32-34.
Auteur : Rittaud Benoît
2004 Bibliothèque Tangente. N° 15. Le projet de Hilbert. p. 36-40.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Les machines de Turing. p. 42-45.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
Auteur : Tollu Christophe
2004 Bibliothèque Tangente. N° 15. Programmer en logique : le Prolog. p. 66-69.
Auteur : Delerue Nicolas
2004 Bibliothèque Tangente. N° 15. Les logiques non classiques. p. 78-79.
Auteur : Delerue Nicolas
2004 Bibliothèque Tangente. N° 15. Le vrai, le faux et l'indéterminé. p. 104-105.
Auteur : Jardin Martin
2004 Bibliothèque Tangente. N° 15. Les énigmes d'Oedipeland. p. 106-109.
Auteur : Cohen-Zardi Gérard
2004 Bibliothèque Tangente. N° 15. Raymond Smullyan. p. 110-113.
Auteur : Zalmanski Alain
2004 Bibliothèque Tangente. N° 15. Les cocus de Bagdad. p. 114-115.
Auteurs : Janvresse Elise ; de la Rue Thierry
2004 Bibliothèque Tangente. N° 15. Le paradoxe de Hempel. p. 116-119.
Auteur : Barthe Daniel
2004 Bibliothèque Tangente. N° 15. En toute logique. p. 120-122.
Auteurs : Criton Michel ; Zalmanski Alain
2004 Bibliothèque Tangente. N° 15. La maison hantée. p. 123-123.
Auteur : Cardon A.
2004 Bibliothèque Tangente. N° 15. Le paradoxe du menteur. p. 124-125.
Auteur : Criton Michel
2004 Bibliothèque Tangente. N° 15. Raymond Devos, le forcené de la logique. p. 126-130.
Auteur : Sélamé Jacques
2004 Bibliothèque Tangente. N° 15. Test d'aptitude autoréférentielle. p. 131-133.
Auteur : Propp Jim
2004 Bibliothèque Tangente. N° 15. Logic logique. p. 134-135.
Auteur : Berrondo-Agrell Marie
2004 Bibliothèque Tangente. N° 20. Comment résoudre les problèmes de logique. p. 32-36.
Auteur : Cohen-Zardi Gérard
2004 Bibliothèque Tangente. N° 20. Au-delà des jeux : les paradoxes. p. 38-41.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 20. Ceci n'est pas un titre. p. 42-47.
Auteur : Zalmanski Alain
2004 Bibliothèque Tangente. N° 20. Problèmes de logique. p. 48-49.
Auteur : Myers Bernard
2004 Bibliothèque Tangente. N° 20. Jeux de chiffres, jeux de lettres, jeux de mots. p. 52-56.
Auteur : Zalmanski Alain
2004 Bibliothèque Tangente. N° 20. Des lettres aux chiffres : les cryptarithmes. p. 58-61.
Auteurs : Calame André ; Criton Michel
2004 Tangente Hors-série. N° 20. p. 24-26. Comment résoudre les problèmes de logique.
Auteur : Cohen-Zardi Gérard
2004 Tangente Hors-série. N° 20. p. 28-30. Au-delà des jeux : les paradoxes.
Auteur : Lehning Hervé
2004 Tangente Hors-série. N° 20. p. 32-34. Ceci n'est pas un titre.
Auteur : Zalmanski Alain
2004 Tangente Hors-série. N° 20. p. 36-36. Problèmes de logique.
Auteur : Myers Bernard
2004 Tangente Hors-série. N° 20. p. 38-40. Jeux de chiffres, jeux de lettres, jeux de mots.
Auteur : Zalmanski Alain
2004 Tangente Hors-série. N° 20. p. 42-43. Des lettres aux chiffres : les cryptarithmes.
Auteurs : Calame André ; Criton Michel
2003 Tangente Hors-série. N° 15. Vol. 1. p. 38-40. Les machines de Turing.
Auteur : Lehning Hervé
2003 PLOT. Nouvelle série. N° 3. p. 9-11. Si on parlait un peu de logique.
Auteur : Roux Marc
2003 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
2003 L'Ouvert. N° 108. p. 25-33. L'utilisation des quantificateurs dans l'enseignement secondaire tunisien.
Auteur : Chellougui Faïza
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent
2003 Bulletin de l'APMEP. N° 449. p. 742-756. Enseigner les mathématiques aujourd'hui. Pourquoi ? Pour qui ? Comment ?
Auteur : Artigue Michèle
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 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Recherches en didactique des mathématiques. Vol. 23. N° 3. p. 295-342. Méthodes de raisonnement et leurs modélisations logiques. Spécificité de l'analyse. Quelles implications didactiques ?
Auteurs : Durand-Guerrier Viviane ; Arsac Gilbert
2003 PLOT. Nouvelle série. N° 3. p. 19-22. Intégrisme et laxisme.
Auteur : Reisz Daniel
2003 Spécificités et potentialités de l'arithmétique élémentaire pour l'apprentissage du raisonnement mathématique.
Auteur : Battie Véronique
2003 Bulletin de l'APMEP. N° 449. p. 810-814. Inégalités dangereuses.
Auteur : Lion Georges
2003 Bulletin de l'APMEP. N° 446. p. 301-302. Les peines et les nombres.
Auteur : Kuhn André
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 6-9. La logique d'Aristote.
Auteur : Rittaud Benoît
2003 Tangente Hors-série. N° 15. Vol. 2. p. 6-9. Les circuits logiques.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 2. p. 17-17. Géométrie automatique.
Auteur : Barthe Daniel
2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
Auteur : Bouchon-Meunier Bernadette
2003 Tangente Hors-série. N° 15. Vol. 2. p. 3-5. L'intelligence artificielle.
Auteur : Delerue Nicolas
2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
Auteur : Krivine Jean-Louis
2003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 36-37. Raymond Smullyan.
Auteur : Zalmanski Alain
2003 Tangente Hors-série. N° 15. Vol. 1. p. 10-11. Lewis Caroll.
Auteur : Cohen-Zardi Gérard
2003 Tangente Hors-série. N° 15. Vol. 1. p. 18-21. Logique et théorie des ensembles.
Auteur : Cohen-Zardi Gérard
2003 Tangente Hors-série. N° 15. Vol. 1. p. 16-17. Le tiers-exclu.
Auteur : Rittaud Benoît
2003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.
Auteur : Temam Daniel
2003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l'implication.
Auteur : Cohen-Zardi Gérard
2003 Tangente Hors-série. N° 15. Vol. 1. p. 24-26. Le paradoxe de Hempel.
Auteur : Barthe Daniel
2003 Tangente Hors-série. N° 15. Vol. 1. p. 28-30. Le projet de Hilbert.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 31-31. Le paradoxe du menteur.
Auteur : Criton Michel
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 1. p. 35-35. Le vrai, le faux et l'indéterminé.
Auteur : Jardin Martin
2003 Tangente Hors-série. N° 15. Vol. 1. p. 42-43. Les énigmes d'Oedipeland.
Auteur : Cohen-Zardi Gérard
2003 Tangente Hors-série. N° 15. Vol. 1. p. 44-45. En toute logique.
Auteurs : Criton Michel ; Zalmanski Alain
2003 Tangente Hors-série. N° 15. Vol. 1. p. 46-47. Test d'aptitude autoréférentielle.
Auteur : Propp Jim
2003 Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
Auteur : Delerue Nicolas
2002 Repères-IREM. N° 47. p. 41-64. Du raisonnement à la démonstration.
Auteur : Bkouche Rudolf
2002 Le théorème de Gödel.
Auteur : César Jean
2002 Expériences de narration de recherche en mathématiques.
Auteurs : Bérélovitch Marie-Rose ; Brin Philippe ; Bourgeois Pierre ; Carles Marie-Josèphe ; Chalons Christophe ; Cori René ; Deledicq André ; Hallez Maryvonne ; Moyon Marc ; Proust Christine ; Wulfman Tamara ; Artigue Michèle. Post.
2002 Eléments de mathématiques discrètes.
Auteur : Frécon Louis
2002 Elémentaire mon cher Watson !
Auteurs : Bruce Colin ; Devillers-Argouac'h Martine. Trad. ; Paget Daniel. Trad.
2002 Préludes à la Récurrence dans l'Antiquité.
Auteurs : IREM de Toulouse Groupe Histoire des mathématiques ; Belet André ; Cases Roseline ; Daumas Denis ; Ducassé Valérie ; Fargeot Stéphane ; Guillemot Michel ; Pasturel Frédérique ; Pouvreau David ; Spiesser Maryvonne
2002 Bulletin de l'APMEP. N° 440. p. 293-302. Les calculatrices n'ont pas toujours raison.
Auteur : Verdier Jacques
2002 Théorèmes d'incomplétude de Gödel.
Auteur : Royer Philippe
2002 Zoo logique.
Auteurs : Grundmann Emmanuelle ; Jolivet Joëlle. Illust.
2002 Tangente Hors-série. N° 13. p. 30-32. Le paradoxe de Jules Richard.
Auteur : Casiro Francis
2002 Tangente Hors-série. N° 13. p. 95-95. Le paradoxe du menteur revisité.
Auteur : Linassier Julien
2001 La logique ou l'art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2001 Annales de didactique et de sciences cognitives. V. 7. p. 117-145. Reconnaissance de contre-exemples en analyse - Approche par questionnaire en première année universitaire.
Auteurs : Benbachir Amina ; Zaki Moncef
2001 Bulletin de l'APMEP. N° 436. p. 594-602. Du temps pour le "sport mathématique".
Auteur : Rey Pierre
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
2001 Repères-IREM. N° 42. p. 45-58. L'utilisation du "et" et du "ou" en mathématiques.
Auteurs : IREM d'Aquitaine Groupe du collège au lycée ; Davy Elisabeth ; Boisserie Catherine ; Fougère Danièle. ; Midy Jean-Paul ; Mira Françoise ; Poulteau Paul ; Rivière Nicole ; Rodrigues Jacqueline
2001 Expressions. N° 18. Histoire et philosophie des sciences. p. 67-86. Rôles des paradoxes dans l'évolution des mathématiques.
Auteur : Genard Stéphane
2001 Tangente. N° 83. p. 42-43. Ionesco ou l'invention de nouveaux axiomes théâtraux.
Auteur : Verdier Norbert
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 Le Petit Vert. N° 66. p. 22-24. Nos élèves face à la propriété de Pythagore.
Auteurs : Chaduteau Christian ; Drouin François
2001 Expressions. N° 18. Histoire et philosophie des sciences.
Auteurs : IREM de la Réunion Groupe Histoire et philosophie des mathématiques ; Tournès Dominique. Ed.
2001 Fondements des mathématiques. T. 2.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
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 Produire et lire des textes de démonstration. Une approche linguistique de textes de raisonnement. p. 87-110.
Auteur : Beck Isabelle
2001 Fondements des mathématiques. T. 1.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
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
2001 Actes du séminaire national de didactique des mathématiques 2000. Entrer dans la culture des théorèmes à 12-14 ans : un défi pour la didactique des mathématiques . p. 41-54.
Auteur : Boero Paolo
2001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1. About the notion of natural logic: historical and theoretical remarks. p. 203-211.
Auteurs : Freguglia Paolo ; Bernardi Raffaella
2001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1. Exploring Fregean perspectives in mathematics education. p. 255-269.
Auteurs : Moreira Candida ; Gardiner Tony
2000 Bulletin de l'APMEP. N° 431. p. 728-741. Aide individualisée en maths-français en Seconde.
Auteurs : Richeton Jean-Pierre ; Maillard Dominique. Collab.
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 Apprentissage des structures logiques.
Auteurs : Antier Gérard ; Chevallier Guy ; Dagman Morched ; Escofier Jean-Pierre ; Gorin Eric ; Lazar Yvette
2000 Les aléas de la raison : de la théorie des jeux à la psychologie.
Auteurs : Mérö Laszlo ; Muller Jean-Léon. Trad.
2000 Pourquoi pas ? des Mathématiques.
Auteurs : Weil Dominique ; Slupinsky Markus ; Koch Bernard ; Didierjean André ; Blasco Laure ; Atlagh Mohamed
2000 Mais où est donc Ornicar ?
Auteurs : Stehr Gérald ; Glasauer Willi. Illust.
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis
1999 Mathématiques et Pédagogie. N° 124. p. 5-14. Une heuristique basée sur la méthode CBR (Case Based Reasoning) pour résoudre des problèmes de mathématiques.
Auteur : Haesbroeck Gentiane
1999 Bulletin de l'APMEP. N° 421. p. 167-175. Démonstration et argumentation.
Auteur : Haugazeau Denise
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 Le Petit Vert. N° 59. p. 7-9. Mais que fait la police ?
Auteur : Drouin François
1999 Bulletin de l'APMEP. N° 424. p. 614-624. Mise en place du raisonnement déductif.
Auteurs : Bergue Danielle ; Borréani Jacqueline
1999 Rédaction et niveaux de rigueur en mathématiques.
Auteurs : Aptel Véronique ; Denux Christian ; Pouget Roland ; Marquès Roseline. Dir.
1999 Une heuristique basée sur la méthode CBR (Case Based Reasoning) pour résoudre des problèmes de mathématiques.
Auteur : Haesbroeck Gentiane
1999 Bulletin de l'APMEP. N° 423. p. 467-472. Intégrisme - laxisme.
Auteur : Reisz Daniel
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.
Auteur : Sinaceur Hourya. Dir.
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano's criticism of indirect proofs.
Auteur : Hafner Johannes
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 479-506. Forme, variation et déductibilité dans la logique de Bolzano.
Auteur : Sebestik Jan
1999 Petit x. N° 50. p. 57-79. L'élève, le professeur et le labyrinthe.
Auteur : Durand-Guerrier Viviane
1998 Le codage : quand, comment, pourquoi ?
Auteur : IREM de Montpellier Groupe Didactique
1998 L'écrit en mathématiques.
Auteurs : IREM de Montpellier Groupe Géométrie ; Sauter Mireille. Dir.
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 Enigmes et jeux logiques.
Auteur : L'Hospitalier Yvon
1998 Analyse et démarche analytique. La méthode analytique de Descartes et l'évidence comme détermination de la vérité. p. 79-101.
Auteur : Barbin Evelyne
1998 Analyse et démarche analytique. Analyse et synthèse dans la philosophie cartésienne. p. 65-78.
Auteur : Le Ru Véronique
1997 Repères-IREM. N° 29. p. 27-42. Le raisonnement par l'absurde.
Auteur : Lombardi Henri
1997 Bulletin de l'APMEP. N° 409. p. 167-169. Tout... ne... pas.
Auteur : APMEP Commission Mots
1997 L'Ouvert. N° 87. p. 29-39. Rôle du professeur dans l'acquisition du raisonnement au collège.
Auteur : Pluvinage François
1997 Logique sans bosse. T. 1.
Auteur : Lebrun Patricia
1997 Logique sans bosse. T. 2.
Auteur : Lebrun Patricia
1997 Oedipeland.
Auteurs : Cohen-Zardi Gérard ; Labidi Samia. Illust.
1996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes et Pratiques. Interdisciplinarité mathématiques et philosophie. Un exemple : le raisonnement par récurrence. p. 35-54.
Auteurs : Chrétien Claude ; Gaud Dominique
1996 Bulletin de l'APMEP. N° 406. p. 549-558. Le plaisir de chercher, la joie de trouver.
Auteurs : Padilla François ; Aymès Jean
1996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.
Auteur : Schmitz François
1996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes et Pratiques. Quelles conceptions épistémologiques de la démonstration pour quels apprentissages ? p. 195-210.
Auteur : Barbin Evelyne
1996 Les philosophes et les mathématiques. Cavaillès et les mathématiques (1903-1944). p. 302-317.
Auteur : Sinaceur Hourya
1996 Langage et raisonnement - réflexions et exercices autour de quelques petits mots.
Auteur : Duvert Rémi
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
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
1996 Quadrature. N° 24. p. 13-17. C'est é-lé-men-taire !
Auteur : Cegielski Patrick
1996 Bulletin de l'APMEP. N° 405. p. 445-455. A propos du raisonnement par l'absurde.
Auteur : Lombard Philippe
1996 Bulletin de l'APMEP. N° 403. p. 151-155. Langage et raisonnement : quel enseignement au collège ?
Auteur : Duvert Rémi
1996 Bulletin de l'APMEP. N° 402. p. 97-100. Deux travaux pratiques pour les premières et terminales scientifiques.
Auteur : Duverney Daniel
1996 História e Educação Matemática: HEM Braga 96. Vol. 1. Historicité de la notion d'évidence en géométrie, entre évidence visuelle et évidence manipulatoire. p. 124-135.
Auteur : Barbin Evelyne
1996 Le vrai et le faux en mathématiques au collège et au lycée.
Auteurs : Gandit Michèle ; Massé-Demongeot Marie-Claire
1995 Bulletin de l'APMEP. N° 397. p. 391-394. Deux travaux pratiques pour les premières et terminales scientifiques.
Auteur : Duverney Daniel
1995 Thème : raisonnement, démonstration, activité de validation. La rigueur au lycée.
Auteurs : Noirfalise Robert ; Voldoire Claudine
1995 Les contre-exemples en mathématiques.
Auteur : Hauchecorne Bertrand
1995 Bulletin de l'APMEP. N° 397. p. 395-397. Si seulement !
Auteur : Gille Etienne
1995 Repères-IREM. N° 18. p. 85-103. Interdisciplinarité mathématiques et philosophie. Un exemple : le raisonnement par récurrence.
Auteurs : Chrétien Claude ; Gaud Dominique
1995 Petit x. N° 37. p. 35-42. L'équivalence logique en collège : fantasme didactique ou impératif catégorique ?
Auteur : Reynès Francis
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
1995 Logique, informatique et paradoxes.
Auteur : Delahaye Jean-Paul
1995 Autour de Thalès. Contraposée et réciproque. p. 221-231.
Auteur : Mulet-Marquis René
1995 Tangente. N° 42. p. 40-42. Logicologique II.
Auteur : Tangente Comité de rédaction. Dir.
1995 Tangente. N° 44. p. 22-23. Suites logiques.
Auteur : Cohen Gilles
1994 Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
Auteur : Ferréol Gilles
1994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.
Auteur : Lombardi Henri
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Bulletin de l'APMEP. N° 392. p. 73-74. On a ... Il vient ...
Auteur : APMEP Commission Mots
1994 PLOT. N° 66. p. 17-25. Approche du raisonnement au collège.
Auteur : Wieruszewski Patrick
1994 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1994 Dimension logique de l'activité mathématique au collège et au lycée.
Auteurs : Blanc Georges ; Beniamino Jean-Claude ; Martini Bernard ; Notebaert Serge
1994 Logiques non standard et droit : l'exemple des droits de l'homme.
Auteurs : Delmas-Mary Mireille ; Coste Jean-François
1994 Mathématiques constructives. De la difficulté d'être omniscient. p. 25-37.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
Auteur : Lombardi Henri
1994 Tangente. N° 38. p. 40-42. Logicologique.
Auteur : Tangente Comité de rédaction. Dir.
1994 Tangente. N° 38. p. 4-7. L'Y, cette inconnue.
Auteur : Temam Daniel
1993 Repères-IREM. N° 12. p. 93-113. Quelles conceptions épistémologiques de la démonstration pour quels apprentissages ?
Auteur : Barbin Evelyne
1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.
Auteur : Bernat Philippe
1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
1993 Petit x. N° 31. p. 37-61. Argumenter, démontrer, expliquer : continuité ou rupture cognitive.
Auteur : Duval Raymond
1993 Logique quantique.
Auteur : Delmas-Rigoutsos Yannis
1993 Nouvelles orientations en philosophie des mathématiques.
Auteur : Müller Gert Heinz
1993 Tangente. N° 30. p. 4-7. L'anti-mathématique de Ionesco.
Auteurs : Verdier Norbert ; Cappellesso Laura ; Bulatti Laura
1992 Bulletin de l'APMEP. N° 386. p. 559-563. Les activités géométriques et l'initiation au raisonnement déductif au collège.
Auteur : Fauconnet Annie
1992 Repères-IREM. N° 8. p. 33-48. Des activités pour raisonner au collège.
Auteurs : Bergue Danielle ; Borréani Jacqueline ; Poulain Brigitte
1992 Bulletin de l'APMEP. N° 385. p. 431-448. Introduction au calcul leibnizien.
Auteur : Wallet Guy
1992 Bulletin de l'APMEP. N° 385. p. 492-497. Analyse et synthèse.
Auteur : Raynaud Raymond
1992 Initiation au raisonnement déductif au collège.
Auteurs : Arsac Gilbert ; Chapiron Gisèle ; Colonna Alain ; Germain Gilles ; Guichard Yves ; Mante Michel
1991 Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique.
Auteur : El Faqih El Mekki
1991 Bulletin de l'APMEP. N° 378. p. 161-166. Vers la quantification.
Auteur : Chevallier Jean-Maurice
1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.
Auteur : Vidiani Lazare Georges
1991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.
Auteur : Vidiani Lazare Georges
1991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.
Auteur : El Faqih El Mekki
1991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.
Auteur : El Faqih El Mekki
1991 Raisonnement et méthodes de démonstrations.
Auteur : Aubert Marie-Pascale
1990 Bulletin de l'APMEP. N° 374. p. 411-412. Pourquoi faire simple quand on peut faire compliqué ?
Auteur : Raynaud Raymond
1990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. Ludwig Wittgenstein et le fondement de la certitude. p. 127-157.
Auteur : Guichard Jacqueline
1990 L'identité en mathématiques constructives.
Auteur : Dalen Dirk van
1990 Tangente. N° 18. p. 44-45. Logique, sir !
Auteur : Lehning Hervé
1990 Analyse et synthèse.
Auteur : Glaeser Georges
1990 Le logotron.
Auteur : Petit Jean-Pierre
1989 Je, tu, ils, elles ... argumentent.
Auteurs : Baslé Jacqueline ; Gapihan Alain ; Houdebine Jean ; L'Epineguen José ; Logeat Yvon ; Mallet Jeanine ; Manens Marie-Catherine ; Saby Danielle ; Treguer Yves
1989 Suivi scientifique - classe de quatrième : 1987-1988. De l'initiation au raisonnement déductif à l'apprentissage de la démonstration. p.
Auteur : Mante Michel
1989 Tangente. N° 9. p. 44-47. Le vrai et le faux.
Auteur : Cohen-Zardi Gérard
1989 Suivi scientifique - classe de quatrième : 1987-1988. Vers l'apprentissage du raisonnement en géométrie. p. 353-364.
Auteurs : Pluvinage François ; Rauscher Jean-Claude ; Maurette D. ; Hindelang Chantal
1988 Bulletin de l'APMEP. N° 365. p. 501-502. Heuristique et déduction.
Auteur : Choquet Gustave
1988 Grand N. N° 42. p. 35-46. Le jeu du portrait au CE1.
Auteur : Chevrot Carmen
1988 Les chemins de la logique.
Auteur : Flandrois Yves
1987 Gestion de données et interdisciplinarité.
Auteurs : Coste Bernadette ; Kober Paule
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1986 Actes de l'université d'été sur l'Histoire des Mathématiques. Le Mans. Les mathématiques grecques dans leur contexte philosophique (Aristote sur la démonstration et l'interprétation de l'univers). p. 3-35.
Auteur : De Gandt François
1985 Interprétations d'énoncés implicatifs et traitements logiques.
Auteur : Radford Luis
1985 Une nouvelle maison pour la famille Souris.
Auteurs : Iwamura Kazuo ; Potier Jean-Henri. Trad. ; Watanabé Keiko. Trad.
1985 Le grand éternuement.
Auteurs : Brown Ruth ; Lauriot Prévost Claude. Trad.
1985 Les questions et leur logique.
Auteur : Stahl Gérold
1985 Groupe Français-Mathématiques . T. 2.
Auteur : Parzysz Bernard
1985 Apprentissage du raisonnement.
Auteurs : Capponi Marie-Thérèse ; Dubreuil Françoise ; Guidée Chantal ; Legrand Marc ; Pintard Daniel ; Riondet Marie-Thérèse
1984 Preuves et Réfutations.
Auteurs : Lakatos Imre ; Worall John. Préf. ; Zahar Elie. Préf. ; Balacheff Nicolas. Trad. ; Laborde Jean-Marie. Trad.
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1983 Petit x. N° 1. p. 57-73. Les cosmonautes. Compte rendu d'une recherche du groupe "apprentissage du raisonnement" de l'IREM de Grenoble.
Auteur : Legrand Marc
1982 La rigueur et le calcul. Platon et les mathématiques. p. 153-172.
Auteur : Morizot Jacques
1982 Bulletin de l'APMEP. N° 334. p. 525-530. A la recherche des libertés perdues. Episode 2 (suite).
Auteur : Dumont Marcel
1982 Grand N. N° 26. p. 77-78. Courrier.
Auteur : Antonin Louisette
1981 Structure et connaissance scientifique.
Auteur : Stahl Gérold
1981 Récurrence.
Auteurs : Girodet Marie-Alix ; Picard Nicole
1980 Le théorème de Gödel.
Auteur : César Jean
1980 Bulletin de l'APMEP. N° 323. p. 235-243. Quel est l'âge du capitaine ?
Auteur : IREM de Grenoble Equipe ELEM
1980 Les démonstrations de cohérence de l'arithmétique.
Auteur : Girard Jean-Yves
1980 SILEX : douze exercices sur les quantificateurs avec un mini-ordinateur.
Auteurs : Bresson Jean-Claude ; Burlereaux Anne ; Jacquot Robert ; Morlet Claude. Dir.
1979 Bulletin de l'APMEP. N° 317. p. 56-70. Des problèmes et des outils pour les résoudre.
Auteur : Lehmann Daniel
1979 Grand N. N° 19. p. 63-70. Quel est l'âge du capitaine ?
Auteur : IREM de Grenoble Equipe ELEM
1977 Mathématiques et sciences humaines. N° 60. p. 31-62. Sur l'histoire des diagrammes logiques, "figures géométriques".
Auteur : Coumet Ernest
1977 Une introduction - Tome 1 : à la logique.
Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1976 Le Livre du problème. Vol. 6. Géométrie d'incidence.
Auteur : IREM de Strasbourg. Dir.
1976 Le Livre du problème. Vol. 1. Pédagogie de l'exercice et du problème.
Auteur : IREM de Strasbourg. Dir.
1976 Bulletin de l'APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l'enseignement des mathématiques.
Auteurs : Vivet Martial ; Laurent J.-P.
1976 Essai de liaison math-français en 6ème et 5ème : fiches.
Auteurs : Ziza-Clément Martine ; Pointet-Tailleferre Josette
1975 Bulletin de l'APMEP. N° 301. p. 755-759. Une manière d'intégrer des éléments de logique dans l'enseignement des mathématiques en classe de Sixième.
Auteur : Adda Josette
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1975 Elem-Math. T. 1. Induction et Récurrence. p. 8-16.
Auteur : Lecoq Jacques
1975 Grand N. N° 7. p. 7-82. Géométrie et travail manuel.
Auteur : Grand N Comité de rédaction. Dir.
1974 Bulletin de l'APMEP. N° 293. p. 370-374. Ecriture de propositions en mathématiques.
Auteur : Laura Marc
1974 Bulletin de l'APMEP. N° 292. p. 51-57. Insertion de la logique dans l'enseignement élémentaire.
Auteur : Carmagnole Maurice
1973 Le Livre du problème. Vol. 3. A propos d'un thème mathématique : la parité.
Auteur : IREM de Strasbourg. Dir.
1973 Le Livre du problème. Vol. 2. Exercices élémentaires de géométrie affine.
Auteur : IREM de Strasbourg. Dir.
1973 Bulletin de l'APMEP. N° 291. p. 715-716. Insertion de la logique dans l'enseignement.
Auteur : Adda Josette
1973 Bulletin de l'APMEP. N° 291. p. 747-749. L'apprentissage du raisonnement.
Auteurs : Lang ; Causeret Pierre
1973 Bulletin de l'APMEP. N° 291. p. 807-814. Induction et Récurrence.
Auteur : Lecoq Jacques
1973 Bulletin de l'APMEP. N° 290. p. 563-575. Essai de critique constructive des bases de l'enseignement des mathématiques.
Auteur : Gachet H
1972 Bulletin de l'APMEP. N° 284. p. 500-509. Les cartes perforées en classe de sixième.
Auteur : Prouveur J. M.
1972 Bulletin de l'APMEP. N° 284. p. 509-516. Lewis Carroll en classe de cinquième.
Auteur : Beaulieu A.
1972 Bulletin de l'APMEP. N° 284. p. 544-550. La nature du raisonnement formel (d'après Piaget).
Auteur : Duval Raymond
1972 Bulletin de l'APMEP. N° 285. p. 822-825. La logique dans l'enseignement.
Auteurs : Gouret A. ; Tence M.
1972 La mathématique à l'école élémentaire. La logique à l'Ecole Elémentaire. p. 285-293.
Auteur : Glaymann Maurice
1971 Eléments de logique pour servir à l'enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
1971 Recherches pédagogiques. N° 48. p. 39-43. Apprentissage de la déduction.
Auteur : Chayé Jacques
1971 Educational Studies in Mathematics. V. 4. N° 3. p. 225-231. Apprentissage de la déduction.
Auteur : Chayé Jacques
1971 Bulletin de l'APMEP. N° 279. p. 460-467. Apprentissage de la déduction.
Auteur : Chayé Jacques
1971 Cahier de L'Herne. N° 17 : Lewis Carroll. Jeu de logique, jeux d'univers. p. 17-29.
Auteur : Coumet Ernest
1969 Notions de logique.
Auteurs : Peyrieras Jean-Marie ; Rougier Jeanne
1968 Bulletin de l'APMEP. N° 260. p. 7-23. Initiation à la logique.
Auteur : Glaymann Maurice
1967 Bulletin de l'APMEP. N° 258. p. 165-176. Fonctions caractéristiques des connecteurs.
Auteur : Glaymann Maurice
1966 Logique sans peine. Lewis Carroll logicien. p. 255-288.
Auteur : Coumet Ernest
1966 Logique sans peine.
Auteurs : Carroll Lewis ; Gattegno Jean. Trad. ; Coumet Ernest. Trad. ; Ernst Max. Illust.
1966 Mathématiques et sciences humaines. N° 16. p. 1-14. Logique, mathématiques et langage dans l'oeuvre de G. Boole - II.
Auteur : Coumet Ernest
1966 Mathématiques et sciences humaines. N° 15. p. 1-14. Logique, mathématiques et langage dans l'oeuvre de G. Boole - I.
Auteur : Coumet Ernest
1966 Bulletin de l'APMEP. N° 251. p. 35-48. Eléments de logique dans l'enseignement secondaire des mathématiques.
Auteur : Krygowska Anna Zofia
1965 Mathématiques et sciences humaines. N° 10. p. 31-46. Les diagrammes de Venn.
Auteur : Coumet Ernest
1963 Bulletin de l'APMEP. N° 231. p. 389-401. Matériaux pour un dictionnaire.
Auteur : Walusinski Gilbert
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
1961 Bulletin de l'APMEP. N° 217. p. 39-48. Matériaux pour un dictionnaire.
Auteurs : Balibar Jean ; Poitou ; Chastenet de Géry Jérôme ; Duvert Louis ; Chevallier Jean-Maurice
1961 Bulletin de l'APMEP. N° 217. p. 29-35. Une expérience d'enseignement de notions modernes.
Auteur : Pair Claude