Liste fiches – Publimath

logique mathématique

Il y a 311 résultats pour cette recherche

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
2022 Mathématice. N° 83. La logique : histoire et enseignement.
Auteurs : Ernoult Alice ; Ycart Bernard
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 Tangente. N° 192. p. 31-31. Le paradoxe de Richard.
Auteur : Hauchecorne Bertrand
2020 Tangente. N° 192. p. 28-30. Ces paradoxes qui ébranlèrent les mathématiques.
Auteur : Hauchecorne Bertrand
2019 Bibliothèque Tangente. N° 38. Edition 2019. La nature profonde des mathématiques. p. 72-77.
Auteur : Colonna Jean-François
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. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2019 Vidéo de l’IREM de Paris – Capsules Manuel. Logique et apprentissage du langage et du raisonnement mathématiques.
Auteur : Mesnil Zoé
2018 Au fil des maths. N° 528. p. 65-68. Comprendre le langage mathématique.
Auteur : Cunha Sueli
2018 Repères-IREM. N° 111. p. 55-81. Géométries non-euclidiennes et interdisciplinarité mathématique-philosophie.
Auteurs : IREM de Montpellier Equipe Mathématiques et Philosophie ; Bächtold Manuel ; François Thomas ; Hausberger Thomas ; Marie-Jeanne Patrice
2018 Maths Sup – 20 fiches techniques et exercices de base – MPSI, PCSI et PTSI.
Auteur : Dupuy-Touzet Sophie
2018 FUN-MOOC. Introduction au raisonnement mathématique.
Auteurs : Rocher Magali ; Lemberg Henri
2018 Prof de Maths, un chouette métier ! Tome 2.
Auteur : APMEP PLOT. Dir.
2018 Au fil des maths. N° 528. p. 63-64. 3 est-il inférieur ou égal à 4 ?
Auteur : Mounier Georges
2018 Des mathématiques pour enseigner à l’école primaire.
Auteurs : Deruaz Michel ; Clivaz Stéphane ; Tempier Frédérick. Post.
2018 Accromath. N° 13. Hiver-Printemps 2018. p. 30-31. Un calcul révolutionnaire.
Auteur : Delahaye Jean-Paul
2018 Repères-IREM. N° 111.
Auteur : Repères-IREM Comité de rédaction. Dir.
2018 Les olympiades académiques de mathématiques 2018. Tome 1. Enoncés.
Auteurs : Barbier Jean. Dir. ; Michalak Pierre. Dir.
2017 Accromath. N° 12. Eté-automne 2017. p. 30-31. Les vendredis 13.
Auteur : Delahaye Jean-Paul
2017 Mathématiques et langages. Panorama du thème du forum « Mathématiques vivantes » 2017.
Auteurs : Artigue Michèle. Dir. ; Germoni Jérôme. Dir. ; Ghys Etienne. Dir. ; Godlewski Edwige. Dir.
2017 Les olympiades académiques de mathématiques 2017. Tome 2. Solutions.
Auteurs : Hennequin Paul-Louis. Dir. ; Michalak Pierre. Dir.
2017 Les olympiades académiques de mathématiques 2017. Tome 1. Enoncés.
Auteurs : Hennequin Paul-Louis. Dir. ; Michalak Pierre. Dir.
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 Accromath. N° 11. Hiver-Printemps 2016. p. 30-31. Jetons noirs et jetons blancs.
Auteur : Delahaye Jean-Paul
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 Les olympiades académiques de mathématiques 2016. Tome 2. Solutions.
Auteurs : Hennequin Paul-Louis. Dir. ; Michalak Pierre. Dir.
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 Les olympiades académiques de mathématiques 2016. Tome 1. Enoncés.
Auteurs : Hennequin Paul-Louis. Dir. ; Michalak Pierre. Dir.
2015 Les malices du Kangourou. Ecoles. Sam Loyd. Puzzles et casse-tête mathématiques.
Auteurs : Deledicq André ; Casiro Francis ; Clément Nicolas. Illust.
2015 Petit x. N° 97. p. 44-44. Activité… Pairs ou impairs ?
Auteur : Grenier Denise
2015 Sciences Sup. Exercices d’analyse.
Auteurs : Escofier Jean-Pierre ; Guimier Françoise ; Houdebine Jean ; Lebaud Marie-Pierre ; Quarez Ronan ; Quéré Pierre-Vincent ; Viallard Michel
2015 Les olympiades académiques de mathématiques 2015.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis
2015 La logique : d’un outil pour le langage et le raisonnement mathématiques vers un objet d’enseignement.
Auteur : Mesnil Zoé
2014 Bibliothèque Tangente. N° 52. Algèbre de Boole. p. 44-46.
Auteur : Lavallou François
2014 Histoire de la logique.
Auteur : Belna Jean-Pierre
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.
Auteur : Cohen Gilles. Dir.
2014 Tangente Hors-série. N° 52. p. 24-25. Algèbre de Boole.
Auteur : Lavallou François
2014 Tangente Hors-série. N° 52. p. 54-56. Avec ou sans clavier.
Auteur : Criton Michel
2014 PLOT. Nouvelle série. N° 45. p. 27-27. Les petites phrases mathématiques…
Auteur : Deledicq Jean-Christophe
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 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
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 Bibliothèque Tangente. N° 52. Avec ou sans clavier. p. 156-158.
Auteur : Criton Michel
2014 Fictions.
Auteurs : Borges Jorge Luis ; Verdevoye Paul. Trad. ; Ibarra Nestor. Trad. ; Ibarra Nestor. Préf.
2014 Les olympiades académiques de mathématiques 2014.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2014 Feuille de Vigne. N° 131.
Auteur : IREM de Dijon Feuille de Vigne. Dir.
2014 Feuille de Vigne. N° 131. p. 33-40. Jeu de logique sur les Mathématiciens.
Auteurs : Tainturier David ; Tainturier Muriel
2013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
Auteur : Cohen Gilles. Dir.
2013 Petit x. N° 92. p. 31-31. Activité… Syllogismes.
Auteur : Grenier Denise
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 La Créativité en mathématiques.
Auteurs : Alberti Miquel ; Alvarez Aurélien. Préf. ; Halaoua Youssef. Trad. ; Ly Maguy. Trad. ; Moinereau Laurence. Trad. ; Villani Cédric. Collab.
2013 Le monde est mathématique.
Auteur : Villani Cédric. Préf.
2013 Bibliothèque Tangente. N° 48. Le boss des maths ou le paradoxe du chat. p. 130-133.
Auteur : Justens Daniel
2013 Cosinus. N° 154. p. 24-25. Jouons avec… la logique.
Auteur : Cosinus Comité de rédaction. Dir.
2013 Sciences Sup. Mathématiques Tout-en-un pour la licence. Niveau 1.
Auteurs : Buff Xavier ; Garnier Josselin ; Halberstadt Emmanuel ; Lachand-Robert Thomas ; Moulin François ; Sauloy Jacques ; Ramis Jean-Pierre. Dir. ; Warusfel André. Dir. ; Connes Alain. Préf.
2013 Les olympiades académiques de mathématiques 2012.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2013 Les olympiades académiques de mathématiques 2013.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2012 Les olympiades académiques de mathématiques 2011.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2012 Micmac chez les matous.
Auteurs : Cesaroli Anna ; Lem Sophie. Trad. ; Cantone Anna Laura. Illust.
2012 Tangente Hors-série. N° 48. p. 18-21. Le boss des maths ou le paradoxe du chat.
Auteur : Justens Daniel
2012 Losanges. N° 18. p. 3-7. Jeux et nombres.
Auteur : Noël-Roch Yolande
2012 Accromath. N° 7. Hiver-Printemps 2012. p. 8-13. Géométrie des nombres.
Auteurs : Laforest Marc ; Ross André
2012 Bulletin de l’APMEP. N° 499. p. 290-296. L’enseignement de la théorie des graphes à l’aide d’intrigues policières.
Auteur : Hertz Alain
2012 La logique, un aiguillon pour la pensée.
Auteurs : Delahaye Jean-Paul ; Zwirn Hervé. Préf.
2012 Accromath. N° 7. Hiver-Printemps 2012. p. 16-19. Bibliothèque de Babel.
Auteurs : Etchecopar Philippe ; Prud’Homme Annie-Claude
2011 Les maths au carré.
Auteur : Falissard Marie-Pierre
2011 Bulletin de l’APMEP. N° 493. p. 230-238. Exercices de-ci, de-là.
Auteur : Alaplantive Bruno. Dir.
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 La figure et la lettre.
Auteurs : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed. ; Barbin Evelyne. Dir. ; Lombard Philippe. Dir. ; Commission inter-IREM Géométrie. Collab.
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 METIS LyonTech. Mathématiques. Exercices d’algèbre et d’analyse.
Auteurs : Balac Stéphane ; Sturm Frédéric
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 Le dévouement du suspect X.
Auteurs : Higashino Keigo ; Refle Sophie. Trad.
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 Les olympiades académiques de mathématiques 2010.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir.
2011 Questions de maths sympas pour M. et Mme Toulemonde.
Auteur : Lehning Hervé
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
2010 Mathématiques et surdité.
Auteurs : Bonnet Monique. Dir. ; Mangeret Thérèse. Dir. ; Nowak Marie-Thérèse. Dir. ; Duquesne-Belfais Françoise. Préf.
2010 Mathématice. N° 18. De l’algorithmique pour faire des mathématiques.
Auteur : Buso Christian
2010 Les olympiades académiques de mathématiques 2009.
Auteurs : Hennequin Paul-Louis. Dir. ; Barbier Jean. Dir. ; Jost Rémy. Collab. ; Beltramone Jean-Paul. Collab. ; Guillemot André. Collab. ; Lo Jacomo François. Collab. ; Ouardini Abderrahim. Collab.
2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2010 Bibliothèque Tangente. N° 38. La nature profonde des mathématiques. p. 72-77.
Auteur : Colonna Jean-François
2010 J’intègre. Mathématiques : méthodes et exercices : BCPST 1re année.
Auteurs : Connan Guillaume ; Bégyn Arnaud
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. La logique mathématique. p. 55-55.
Auteurs : Thomas Edouard ; de Ruelle Maxime
2010 Bibliothèque Tangente. N° 38. Logique et langage. p. 44-44.
Auteur : Thomas Edouard
2009 J’intègre. Visa pour la prépa ECS, ECE, BCPST.
Auteurs : Connan Guillaume ; Choimet Denis. Préf.
2009 J’intègre. Visa pour la prépa MPSI, PCSI, PTSI.
Auteurs : Connan Guillaume ; Choimet Denis. Préf.
2009 Tangente Hors-série. N° 38. p. 10-13. La nature profonde des mathématiques.
Auteur : Colonna Jean-François
2009 Algorithmes et logique au lycée.
Auteurs : Bouttier Pierrick ; Crumière Anne ; Didier Fernand ; Fillia Jean-Marie ; Quatrini Myriam ; Roland Henri
2009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
Auteur : Lehning Hervé
2009 Histoire de la Théorie des Ensembles.
Auteur : Belna Jean-Pierre
2009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2009 Revue d’histoire des sciences. Vol. 62. N° 1. Regards sur les mathématiques en France entre les deux guerres.
Auteur : Beaulieu Liliane. Dir.
2009 Revue d’histoire des sciences. Vol. 62. N° 1. p. 177-220. La logique mathématique en France entre les deux guerres mondiales : Quelques repères.
Auteur : Guillaume Marcel
2009 METIS LyonTech. Mathématiques. Algèbre et analyse.
Auteurs : Balac Stéphane ; Sturm Frédéric
2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
2009 Bien débuter en mathématiques. Ensembles, Relations, Applications, Dénombrement.
Auteurs : Colin Jean-Jacques ; Cintract Bertrand ; Morvan Rémi. Collab.
2008 Bases mathématiques pour l’enseignement supérieur.
Auteur : Dubois Gilles
2008 La mathématique du Chat.
Auteurs : Justens Daniel ; Geluck Philippe
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.
Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2008 Probabilités politiques.
Auteur : Frugier Gérard
2007 Diagonales : les cahiers mathématiques du CNED.
Auteur : Le Laouénan Jean-Michel. Dir.
2007 Tangente. N° 119. p. 36-38. Les mathématiques du chat.
Auteur : Justens Daniel
2007 Accromath. N° 2. Hiver-printemps 2007. p. 18-25. Envolées intersidérales… à destination terrestre !
Auteur : Hodgson Bernard R.
2007 Les malices du Kangourou. Lycées. Euler.
Auteurs : Deledicq André ; Casiro Francis
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 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 Cosinus. N° 86. p. 18-20. De la logique avec les diagrammes « patates » et tableaux de Karnaugh.
Auteur : Souder Dominique
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2007 Tous les exercices d’algèbre et de géométrie MPSI-PCSI-PTSI.
Auteurs : Laamri El Haj ; Eguether Gérard ; Rezzouk Marc ; Schmitt Didier ; Schwald Laurent
2006 Evariste Ecole.
Auteurs : Fromentin Jean ; Toussaint Nicole
2006 Les maths c’est magique !
Auteur : Ball Johnny
2006 Trente livres de mathématiques qui ont changé le monde.
Auteurs : Samueli Jean-Jacques ; Boudenot Jean-Claude ; Brezin Edouard. Préf.
2006 Jeux et enjeux de langage dans l’élaboration des savoirs en classe.
Auteurs : Durand-Guerrier Viviane ; Héraud Jean-Loup ; Tisseron Claude. Dir.
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 Complexités.
Auteur : Delahaye Jean-Paul
2005 Du dessin perçu à la figure construite.
Auteurs : Rodriguez Herrera Ruben ; Salles-Legac Danielle
2005 Repères-IREM. N° 60. p. 57-60. Formation scientifique. Vraiment ?
Auteur : Barra Raymond
2005 Bulletin de l’APMEP. N° 458. p. 331-334. Valeur absolue et tableur.
Auteur : Véron Boris
2005 Mathématiques et surdité.
Auteurs : IREM de Lyon Groupe Math-Surdité ; Mangeret Thérèse. Dir.
2005 Bibliothèque Tangente. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2005 Repères-IREM. N° 60.
Auteur : Repères-IREM Comité de rédaction. Dir.
2005 Bulletin de l’APMEP. N° 459. p. 462-468. Modélisation et contre-expertise.
Auteur : Bouleau Nicolas
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 PLOT. Nouvelle série. N° 9. p. 6-9. Organiser un rallye mathématique CM2-6ème.
Auteur : Kerboul Cécile
2005 Passerelle pour l’enseignement supérieur scientifique, mathématiques, physique, chimie, de la Terminale aux classes préparatoires, université, IUT, BTS.
Auteurs : Gracias Pierre ; Martin Jean-Claude
2005 Bulletin de l’APMEP. N° 458. p. 309-316. Le « quinze-vainc » en CM2.
Auteur : Petit Serge
2004 PLOT. Nouvelle série. N° 5. p. 2-7. Entretien avec Didier Dacunha-Castelle.
Auteur : Dacunha-Castelle Didier
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 L’Ouvert. N° 110.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
2004 Du mode d’existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
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 Tangente. N° 101. p. 38-40. Les entiers de N à Z.
Auteur : Casiro Francis
2004 Annales de didactique et de sciences cognitives. V. 9.
Auteurs : Kuzniak Alain. Dir. ; Pluvinage François. Dir.
2004 Bulletin de l’APMEP. N° 452. p. 398-417. De l’utilité d’une formation mathématique pour la vie économique et sociale.
Auteur : Kuntz Gérard
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 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
Auteur : Barthe Daniel
2004 PLOT. Nouvelle série. N° 6. p. 6-8. Test des cosmonautes, logique et réciproque.
Auteur : Larose Valérie
2004 Les Cahiers du Français Contemporain. N° 9. p. 29-55. Négation grammaticale versus négation logique dans l’apprentissage des mathématiques. Exemple dans l’enseignement secondaire Tunisien.
Auteurs : Durand-Guerrier Viviane ; Ben Kilani Imed
2004 Petit x. N° 64. p. 62-81. Problèmes de transposition didactique.
Auteur : Conne François
2004 Bibliothèque Tangente. N° 15. Le tiers-exclu. p. 32-34.
Auteur : Rittaud Benoît
2004 Bibliothèque Tangente. N° 15. Le moteur logique : l’implication. p. 30-31.
Auteur : Cohen-Zardi Gérard
2004 L’Ouvert. N° 110. p. 75-76. Commentaires sur « la logique et la vérité ».
Auteur : Friedelmeyer Jean-Pierre
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. Les règles de la déduction. p. 18-22.
Auteur : Temam Daniel
2004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Lewis Caroll. p. 12-15.
Auteur : Zalmanski Alain
2004 Gödel.
Auteur : Cassou-Noguès Pierre
2003 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
2003 Mathématiques générales.
Auteur : Rovira Patrice
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 PLOT. Nouvelle série. N° 3. p. 19-22. Intégrisme et laxisme.
Auteur : Reisz 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. 12-14. Les règles de la déduction.
Auteur : Temam Daniel
2003 Tangente Hors-série. N° 15. Vol. 1. p. 16-17. Le tiers-exclu.
Auteur : Rittaud Benoît
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent
2003 La constante macabre ou comment a-t-on découragé des générations d’élèves ?
Auteur : Antibi André
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Hyper cube. N° 49-50. Numéro spécial. Cryptographie.
Auteur : Hyper cube Comité de rédaction. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 10-11. Lewis Caroll.
Auteur : Cohen-Zardi Gérard
2003 Collection des sciences appliquées de l’INSA de Lyon. Algèbre et analyse.
Auteurs : Balac Stéphane ; Sturm Frédéric ; Friboulet Denis. Préf. ; Vray Didier. Préf.
2003 Hyper cube. N° 48. p. 4-5. Diagrammes de Karnaugh.
Auteur : Souder Dominique
2003 Bulletin de l’APMEP. N° 445. p. 177-196. Algorithmique au lycée.
Auteur : Merle Michel. Dir.
2003 Réflexions sur les programmes du collège et de l’école élémentaire.
Auteurs : Fromentin Jean. Dir. ; Toussaint Nicole. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 18-21. Logique et théorie des ensembles.
Auteur : Cohen-Zardi Gérard
2003 Le défi de Hilbert.
Auteurs : Gray Jeremy John ; Grammatikas Christos. Trad. ; Cartier Pierre. Préf.
2002 Hyper cube. N° 45. p. 25-25. Soyons logiques (1).
Auteur : Dupuis Francis
2002 100 friandises mathématiques.
Auteurs : Ferachoglou Robert ; Lafond Michel ; Magnin Louis. Préf.
2002 Bulletin de l’APMEP. N° 440. p. 309-322. Sur le rôle des mathématiques dans la société d’aujourd’hui.
Auteur : Bouleau Nicolas
2002 L’intelligence et le calcul.
Auteur : Delahaye Jean-Paul
2002 Eléments de mathématiques discrètes.
Auteur : Frécon Louis
2002 PLOT. N° 101-102. p. 41-48. Profs de math, profs de français : même combat.
Auteurs : Lorant-Jolly Annick ; Roux Marc
2002 Elémentaire mon cher Watson !
Auteurs : Bruce Colin ; Devillers-Argouac’h Martine. Trad. ; Paget Daniel. Trad.
2002 PLOT. N° 101-102.
Auteurs : Coste Rémy. Dir. ; Grangé Jean-Pierre. Dir.
2001 Cosinus. N° 20. p. 5-8. Compter en binaire, le jeu de Mariendad et les circuits logiques.
Auteur : Kantor Jean-Michel
2001 Tangente. N° 82. p. 51-52. Lux fiat – Mots croisés.
Auteurs : Thépault Louis ; Laura Marc
2001 Hyper cube. N° 35. p. 6-9. Vive la magie !
Auteurs : Hédan Vincent ; Souder Dominique
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 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2001 Hyper cube. N° 35. p. 4-5. Logic’Flip : 10 ans.
Auteur : Hyper cube Comité de rédaction. Dir.
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
2001 Les Cahiers mathématiques du CNED : Diagonales. N° 3. 2000-2001. Logique.
Auteurs : Aubry Danielle ; Baurens Jean-Philippe ; Coste-Roy Marie-Françoise ; Escofier Jean-Pierre ; Itenberg Ilia ; Le Laouénan Jean-Michel ; Miasnikova Natalia ; Zoritch Anton ; Le Laouénan Jean-Michel. Dir. ; Morvan Bernard. Dir.
2001 Analyse mathématique. T. 1.
Auteur : Godement Roger
2001 Sciences Sup. Mathématiques. Aide-mémoire.
Auteur : Fredon Daniel
2001 Pourquoi les bus arrivent-ils toujours par trois ?
Auteurs : Eastaway Rob ; Wyndham Jeremy ; Shore Barbara. Illust. ; Bouzinac Florence. Trad. ; Macia Robert. Trad.
2001 Fondements des mathématiques. T. 1.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
2001 Fondements des mathématiques. T. 2.
Auteurs : Hilbert David ; Bernays Paul ; Gaillard François. Trad. ; Guillaume Eugène. Trad. ; Guillaume Marcel. Trad.
2001 Annales de didactique et de sciences cognitives. V. 7.
Auteurs : Kuzniak Alain. Dir. ; Pluvinage François. Dir.
2000 La symétrie dans tous ses états.
Auteurs : Bacry Henri ; Connes Alain. Préf.
2000 Apprentissage des structures logiques.
Auteurs : Antier Gérard ; Chevallier Guy ; Dagman Morched ; Escofier Jean-Pierre ; Gorin Eric ; Lazar Yvette
2000 Pourquoi pas ? des Mathématiques.
Auteurs : Weil Dominique ; Slupinsky Markus ; Koch Bernard ; Didierjean André ; Blasco Laure ; Atlagh Mohamed
2000 Gödel, une révolution en Mathématiques.
Auteur : Delessert André
2000 Triangles de pensées.
Auteurs : Connes Alain ; Lichnérowicz André ; Schützenberger Marco
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 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
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
1999 Tangente. N° 69-70. p. 36-39, 70-72. L’épreuve du tableau.
Auteur : Kaeser Pascal
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 Rédaction et niveaux de rigueur en mathématiques.
Auteurs : Aptel Véronique ; Denux Christian ; Pouget Roland ; Marquès Roseline. Dir.
1999 Bulletin de l’APMEP. N° 422. p. 335-346. Métamorphoses d’exercices.
Auteur : Gras Régis
1998 Les grands courants de la pensée mathématique.
Auteurs : Le Lionnais François. Dir. ; Teissier Bernard. Préf. ; Ballard Jean. Préf. ; Brunschvicg Léon. Préf.
1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.
Auteur : Krivine Jean-Louis
1998 Enigmes et jeux logiques.
Auteur : L’Hospitalier Yvon
1997 Les fondements de la géométrie de David Hilbert.
Auteurs : Hilbert David ; Rossier Paul. Trad.
1997 La mémoire des nombres. Quel statut pour les nombres ? p. 57-79.
Auteur : Guichard Jacqueline
1997 PLOT. N° 80.
Auteur : APMEP PLOT. Dir.
1997 PLOT. N° 80. p. 13-15. Théorème, contraposée, réciproque …
Auteurs : Bellard Nicole ; Lewillion Martine
1997 Logique sans bosse. T. 2.
Auteur : Lebrun Patricia
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 Tangente. N° 54. p. 24-25. Logic’Flip.
Auteur : Souder Dominique
1996 Tangente. N° 53. p. 4-7. Raymond Devos le forcené de la logique.
Auteur : Sélamé Jacques
1996 Le vrai et le faux en mathématiques au collège et au lycée.
Auteurs : Gandit Michèle ; Massé-Demongeot Marie-Claire
1996 Les philosophes et les mathématiques. Cavaillès et les mathématiques (1903-1944). p. 302-317.
Auteur : Sinaceur Hourya
1996 Bulletin de l’APMEP. N° 403. p. 151-155. Langage et raisonnement : quel enseignement au collège ?
Auteur : Duvert Rémi
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 Revue d’histoire des mathématiques. N° 1. Vol. 2. p. 271-305. L’école constructive de Markov.
Auteur : Margenstern Maurice
1995 Logique, informatique et paradoxes.
Auteur : Delahaye Jean-Paul
1995 Thème : raisonnement, démonstration, activité de validation. La rigueur au lycée.
Auteurs : Noirfalise Robert ; Voldoire Claudine
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Quatrième Université d’Eté d’Histoire des Mathématiques.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 PLOT. N° 66.
Auteur : APMEP PLOT. Dir.
1994 PLOT. N° 66. p. 17-25. Approche du raisonnement au collège.
Auteur : Wieruszewski Patrick
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Boole et la mathématisation des opérations de l’esprit. p. 111-138
Auteur : Durand-Richard Marie-José
1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
1993 Hilbert et la logique interne des mathématiques.
Auteur : Gauthier Yvon
1993 Les irrationalités de la logique.
Auteur : Longo Giuseppe
1993 Nouvelles orientations en philosophie des mathématiques.
Auteur : Müller Gert Heinz
1992 Bulletin de l’APMEP. N° 385. p. 431-448. Introduction au calcul leibnizien.
Auteur : Wallet Guy
1992 Cahier de DIDIREM . N° 17. Télé Enseignement Universitaire. Les mathématiques dans une section de DEUG SSM première année.
Auteur : Cazes Claire
1991 SM2 MPI – Cours de mathématiques. Année 1989-90. Fascicule 1.
Auteur : Bernard André. Dir.
1991 L’Ouvert. N° 65.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thèse de Church / Post.
Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel
1991 Tangente. N° 19. p. 36-37. Rendez à César.
Auteur : Lamhi Michel
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 Place de la logique dans l’activité mathématique des étudiants du premier cycle scientifique.
Auteur : El Faqih El Mekki
1990 L’Ouvert. N° 60. p. 35-44. Changement de registre.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1990 Enseigner autrement les mathématiques en Deug A première année. Circuit ou les règles du jeu mathématique. p. 129-161.
Auteur : Legrand Marc
1990 La démonstration mathématique dans l’histoire. Autour de l’axiome du choix. p. 377-386.
Auteur : Serfati Michel
1990 La démonstration mathématique dans l’histoire. Introduction à l’axiome du choix. p. 367-375.
Auteur : Guillemot Michel
1990 L’Ouvert. N° 60.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1990 Cahier de DIDIREM. N° 6. Analyse dans le suivi de productions d’étudiants de DEUG A(*) en algèbre linéaire. (*) Premier cycle scientifique des universités françaises.
Auteurs : Dorier Jean-Luc ; Lavergne Christian
1990 Enseigner autrement les mathématiques en Deug A première année.
Auteurs : Commission inter-IREM Université ; Artigue Michèle. Dir. ; Authier Hélène. Dir. ; Bessot Didier. Dir. ; Delale Alain. Dir.
1990 La démonstration mathématique dans l’histoire.
Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1990 Existence et non-existence en logique mathématique.
Auteur : Stahl Gérold
1990 Bulletin de l’APMEP. N° 374. p. 411-412. Pourquoi faire simple quand on peut faire compliqué ?
Auteur : Raynaud Raymond
1990 Tangente. N° 16. p. 12-14. Quand la logique se fait poésie.
Auteur : Camous Henri
1990 Tangente. N° 16. p. 24-24. La leçon du professeur Shakodo.
Auteur : Rouxel Jacques
1990 Tangente. N° 18. p. 44-45. Logique, sir !
Auteur : Lehning Hervé
1989 Tangente. N° 9. p. 14-18. Alice, la logique du rêve.
Auteur : Boudine Jean-Pierre
1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves
1989 Bulletin de l’APMEP. N° 369. p. 417-426. Pour une révolution de l’intelligence dans l’enseignement des mathématiques et ailleurs. (2)
Auteur : Dumont Marcel
1989 Tangente. N° 9. p. 44-47. Le vrai et le faux.
Auteur : Cohen-Zardi Gérard
1988 Histoire et épistémologie des mathématiques : les mathématiques dans la culture d’une époque. Le défi de la vie. A propos de la polémique Bergson – Borel (1907-1908). p. 251-264.
Auteur : Callens Stéphane
1988 Histoire et épistémologie des mathématiques : les mathématiques dans la culture d’une époque.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1988 La logique sur les corps de rupture des paradoxes.
Auteur : Grosjean Pierre Victor
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1985 Interprétations d’énoncés implicatifs et traitements logiques.
Auteur : Radford Luis
1985 Les questions et leur logique.
Auteur : Stahl Gérold
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1984 Preuves et Réfutations.
Auteurs : Lakatos Imre ; Worall John. Préf. ; Zahar Elie. Préf. ; Balacheff Nicolas. Trad. ; Laborde Jean-Marie. Trad.
1984 Bulletin de l’APMEP. N° 343. p. 231-245. Weierstrass et IBM.
Auteur : Solomon Liviu
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 Logique formelle et logique informelle.
Auteur : Perelman Chaïm
1982 Knights and knaves.
Auteurs : Fage Claudine ; Linol Martine
1982 Discrimination des scores au test de closure et évaluation de la compréhension des textes mathématiques.
Auteur : Gagatsis Athanassios
1982 Logique et ontologie.
Auteur : Mouloud Noël
1981 Quel est le titre de ce livre ?
Auteurs : Smullyan Raymond Merrill ; Marthon Jérôme. Trad. ; Berloquin Pierre. Illust.
1981 Bulletin de l’APMEP. N° 331. p. 835-851. Langage, synonymie et démonstration.
Auteur : Reynès Francis
1981 Structure et connaissance scientifique.
Auteur : Stahl Gérold
1980 SILEX : douze exercices sur les quantificateurs avec un mini-ordinateur.
Auteurs : Bresson Jean-Claude ; Burlereaux Anne ; Jacquot Robert ; Morlet Claude. Dir.
1980 Petite encyclopédie des mathématiques.
Auteurs : Reichardt Hans. Préf. ; Lions Jacques-Louis. Dir. ; Gellert Walter. Ed. ; Küstner Herbert. Ed. ; Hellwich Manfred. Ed. ; Kästner Herbert. Ed. ; Aubin Jean-Pierre. Collab. ; Glowinski Roland. Collab. ; Lions Jacques-Louis. Trad.
1979 L’Ouvert. N° 19.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1979 Groupe Français-Mathématiques. T. 1.
Auteur : Parzysz Bernard
1979 L’Ouvert. N° 19. p. 2-6. Genèse – Educational math.
Auteurs : Lefort Jean. Trad. ; Martin Gérard. Trad.
1978 Quelques difficultés pédagogiques dans l’enseignement de l’analyse.
Auteurs : Seroux René ; Fouques Alfred
1978 Abrégé d’histoire des mathématiques 1700-1900. II.
Auteur : Dieudonné Jean. Dir.
1978 Abrégé d’histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
Auteur : Guillaume Marcel
1977 Information mathématique. N° 10. p. 9-29. Compte rendu des activités 76-77 du groupe math-physique. Centre de Digne.
Auteur : IREM d’Aix-Marseille – Centre de Digne Groupe Math-Physique
1977 Une introduction – Tome 1 : à la logique.
Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1976 Bulletin de l’APMEP. N° 302. p. 25-39. La didactique de l’analyse.
Auteur : Glaeser Georges
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.
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1975 Bulletin de l’APMEP. N° 299. p. 326-340. Où la faim justifie les moyens.
Auteur : Lopata Geneviève
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
1974 Bulletin de l’APMEP. N° 293. p. 370-374. Ecriture de propositions en mathématiques.
Auteur : Laura Marc
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
1971 Cahier de L’Herne. N° 17 : Lewis Carroll. Jeu de logique, jeux d’univers. p. 17-29.
Auteur : Coumet Ernest
1971 Bulletin de l’APMEP. N° 280. p. 619-624. Axiomatique unitaire en Théorie des Ensembles.
Auteur : Frasnay Claude
1970 Bulletin de l’APMEP. N° 273. p. 89-130. Enseignement mathématique et linguistique ou comment utiliser les faits de langue à des fins d’enseignement de la mathématique : quelques exemples de problèmes.
Auteur : Gentilhomme Yves
1969 Bulletin de l’APMEP. N° 269-270. p. 265-552. La mathématique en 6ème par ceux qui l’enseignent.
Auteurs : Duvert Louis ; Motte Magdeleine ; Walusinski Gilbert ; Buisson Pierre ; Chevallier Jean-Maurice ; Dehame Edouard ; Touyarot Marie-Antoinette ; Dumont Marcel ; Kerjan ; Mizar K. ; Van Hout Georges ; Chayé Jacques ; Limoge Mauricette
1968 Bulletin de l’APMEP. N° 260. p. 7-23. Initiation à la logique.
Auteur : Glaymann Maurice
1966 Bulletin de l’APMEP. N° 254-255. p. 574-577. Une initiative de l’Institut pédagogique national : trois « journées d’études des mathématiques modernes ».
Auteur : Touyarot Marie-Antoinette
1966 Logique sans peine.
Auteurs : Carroll Lewis ; Gattegno Jean. Trad. ; Coumet Ernest. Trad. ; Ernst Max. Illust.
1966 Logique sans peine. Lewis Carroll logicien. p. 255-288.
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
1956 Bulletin de l’APMEP. N° 175. p. 259-261. Retour à l’expérience pédagogique.
Auteur : Félix Lucienne