Mots-clés – Auteurs

calcul des prédicats

Il y a 43 résultats pour cette recherche

2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
Auteur : Haralambous Yannis
2015 La logique pas à pas.
Auteur : Duparc Jacques
2014 Actes du 21e colloque de la CORFEM. Logique, langage. Enoncés et preuves en mathématiques.
Auteur : Hache Christophe
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 des 18e et 19e colloques de la CORFEM.
Auteurs : Gandit Michèle. Dir. ; Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
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 Logique et raisonnement.
Auteur : Freund Michael
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
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
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 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2006 Petit x. N° 71. p. 7-28. Equations et inéquations au secondaire entre syntaxe et sémantique
Auteur : Kouki Rahim
2005 L’utilisation des quantificateurs universel et existentiel en première année universitaire entre l’explicite et l’implicite.
Auteur : Chellougui Faïza
2004 Du mode d’existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
2004 Gödel.
Auteur : Cassou-Noguès Pierre
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 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 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
2002 Le théorème de Gödel.
Auteur : César Jean
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique – variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.
Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
2000 Le statut logique des énoncés dans la classe de mathématiques.
Auteurs : Durand-Guerrier Viviane ; Le Berre Maryvonne ; Pontille Marie-Claude ; Feurly-Reynaud Josette
1999 Petit x. N° 50. p. 57-79. L’élève, le professeur et le labyrinthe.
Auteur : Durand-Guerrier Viviane
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
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.
1994 Mathématiques constructives.
Auteur : Lombardi Henri
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
1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1986 Dictionnaire de l’APMEP. La mathématique parlée par ceux qui l’enseignent. Connecteur.
Auteur : APMEP Commission du Dictionnaire
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1982 Logique et ontologie.
Auteur : Mouloud Noël
1980 Le théorème de Gödel.
Auteur : César Jean
1977 Une introduction – Tome 1 : à la logique.
Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1971 Bulletin de l’APMEP. N° 280. Supplément – La mathématique parlée par ceux qui l’enseignent : connecteur.
Auteur : APMEP Commission du Dictionnaire
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
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
1964 Bulletin de l’APMEP. N° 239. p. 343-358. Les mots et les symboles.
Auteurs : Lacombe Daniel ; Chayé Jacques ; Gillet A. ; Duval Alain
1962 Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).
Auteurs : Balibar Jean ; Gödel Kurt
1962 Lecture commentée d’une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l’axiome du choix et de l’hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
Auteurs : Balibar Jean ; Gödel Kurt
1961 Bulletin de l’APMEP. N° 217. p. 11-26. Un exemple d’abstraction, de formalisme et de métathéorie.
Auteurs : Balibar Jean ; Gödel Kurt