Mots-clés – Auteurs

logique formelle

Il y a 61 résultats pour cette recherche

2020 Récréations philosophiques.
Auteur : Lambois Didier
2018 Prof de Maths, un chouette métier ! Tome 2.
Auteur : APMEP PLOT. Dir.
2017 Petit x. N° 104. p. 5-24. La logique formelle au niveau universitaire : une étude empirique en contexte de démonstration.
Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis
2014 Le Petit Vert. N° 120.
Auteur : Le Petit Vert Comité de rédaction. Dir.
2014 Le Petit Vert. N° 120. p. 14-16. Aristote et Barbara (suite).
Auteur : Lambois Didier
2014 Le Petit Vert. N° 119.
Auteur : Le Petit Vert Comité de rédaction. Dir.
2014 Le Petit Vert. N° 119. p. 37-39. Aristote et Barbara.
Auteur : Lambois Didier
2012 Actes des 18e et 19e colloques de la CORFEM.
Auteurs : Gandit Michèle. Dir. ; Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
2012 Promenade dialectique dans les sciences.
Auteur : Sanchez-Palencia Evariste
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é
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 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
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
2009 Bulletin de l’APMEP. N° 485. p. 765-775. Atelier scientifique au collège : mathématiques et modélisation en 3D.
Auteur : Loret Francis
2008 Actes du séminaire national de didactique des mathématiques 2007. Etude épistémologique et didactique de l’implication mathématique sous trois points de vue : raisonnement déductif, logique formelle et théorie des ensembles. p. 66-101.
Auteur : Deloustal-Jorrand Virginie
2004 Bibliothèque Tangente. N° 15. Lewis Caroll. p. 12-15.
Auteur : Zalmanski Alain
2004 L’Ouvert. N° 109.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bulletin de l’APMEP. N° 451. p. 242-271. De l’intuition à l’argumentation.
Auteur : Lombard Philippe
2004 L’Ouvert. N° 110.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
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. La logique d’Aristote. p. 6-11.
Auteur : Rittaud Benoît
2004 L’Ouvert. N° 109. p. 21-31. La logique et la vérité.
Auteur : Chauve Alain
2004 L’implication mathématique : étude épistémologique et didactique.
Auteur : Deloustal-Jorrand Virginie
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. Les logiques non classiques. p. 78-79.
Auteur : Delerue Nicolas
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 PLOT. Nouvelle série. N° 6. p. 6-8. Test des cosmonautes, logique et réciproque.
Auteur : Larose Valérie
2004 Les Génies de la Science. N° 20. Gödel, logique à la folie.
Auteur : Guerrerio Gianbruno
2004 Bulletin de l’APMEP. N° 454. p. 717-728. Trois ateliers sur la géométrie.
Auteurs : Demal Michel ; Popeler Danielle
2004 Bibliothèque Tangente. N° 15. Les énigmes d’Oedipeland. p. 106-109.
Auteur : Cohen-Zardi Gérard
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. 10-11. Lewis Caroll.
Auteur : Cohen-Zardi Gérard
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. 6-9. La logique d’Aristote.
Auteur : Rittaud Benoît
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2002 Le théorème de Gödel.
Auteur : César Jean
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
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 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
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 Petit x. N° 50. p. 57-79. L’élève, le professeur et le labyrinthe.
Auteur : Durand-Guerrier Viviane
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 Revue d’histoire des mathématiques. N° 4. Vol. 2. p. 237-260. Perspective historique sur les rapports entre la théorie des modèles et l’algèbre. Un point de vue tendancieux.
Auteur : Lascar Daniel
1997 Oedipeland.
Auteurs : Cohen-Zardi Gérard ; Labidi Samia. Illust.
1997 Logique sans bosse. T. 1.
Auteur : Lebrun Patricia
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 Différents types de savoirs et leur articulation.
Auteurs : Arsac Gilbert ; Grea Jean ; Grenier Denise ; Tiberghien Andrée ; Balacheff Nicolas. Dir.
1995 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 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1990 Le logotron.
Auteur : Petit Jean-Pierre
1989 Tangente. N° 9. p. 14-18. Alice, la logique du rêve.
Auteur : Boudine Jean-Pierre
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1982 Logique formelle et logique informelle.
Auteur : Perelman Chaïm
1980 Le théorème de Gödel.
Auteur : César Jean
1979 Contribution à l’étude expérimentale et à l’analyse de certaines acquisitions cognitives et de certains objectifs didactiques en mathématiques.
Auteur : Gras Régis
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
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