calcul des prédicats

Il y a 43 résultats avec cette recherche.

1999 Petit x. N° 50. p. 57-79. L’élève, le professeur et le labyrinthe.

Auteur : Durand-Guerrier Viviane
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.

Auteur : Lombardi Henri
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é
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
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
1977 Une introduction – Tome 1 : à la logique.

Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1993 Logique mathématique. T. 1.

Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
2003 Sciences Sup. Logique mathématique. V. 1.

Auteurs : Cori René ; Lascar Daniel
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
1986 Dictionnaire de l’APMEP. La mathématique parlée par ceux qui l’enseignent. Connecteur.

Auteur : APMEP Commission du Dictionnaire
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
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
1982 Logique et ontologie.

Auteur : Mouloud Noël
2006 Petit x. N° 71. p. 7-28. Equations et inéquations au secondaire entre syntaxe et sémantique

Auteur : Kouki Rahim
2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.

Auteur : Haralambous Yannis
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
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
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
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