Mots-clés – Auteurs

formalisme

Il y a 16 résultats pour cette recherche

2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l’ai démontré !
Auteur : Delaunay David
2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Cela existe, je l’ai démontré ! p. 18-22.
Auteur : Delaunay David
2015 Bibliothèque Tangente. N° 55. Bien choisir son axiomatique. p. 24-28.
Auteur : Justens Daniel
2015 Bibliothèque Tangente. N° 55. Le rôle de l’analogie en mathématiques. p. 48-53.
Auteur : Sander Emmanuel
2015 Bibliothèque Tangente. N° 55. Preuve et logique. p. 56-58.
Auteur : Lehning Hervé
2008 Bulletin de l’APMEP. N° 475. p.148-151,204. L’A.P.M.E.S.P. et l’Union des physiciens (U.D.P.).
Auteurs : Barbazo Eric ; Lacpadia Cédric
2007 Sur les liens historiques entre Mathématiques et Sciences Physiques.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2007 Sur les liens historiques entre Mathématiques et Sciences Physiques. A propos de modélisation. p. 73-96.
Auteur : Lombard Philippe
1994 L’Ouvert. N° 76 spécial Georges Reeb. p. 33-41. Georges Reeb et l’UPR « fondements des sciences » – à propos d’un procès visant à la fois l’Analyse Non Standard et L’intuitionnisme.
Auteurs : Barreau Hervé ; Friedelmeyer Jean-Pierre. Dir.
1994 L’Ouvert. N° 76 spécial Georges Reeb.
Auteurs : IREM de Strasbourg L’Ouvert. Dir. ; Friedelmeyer Jean-Pierre. Dir.
1990 Morale et formalisation
Auteur : Jacob André
1989 Cahier de DIDIREM. N° 2. La genèse du calcul algébrique. Une esquisse.
Auteur : Robinet Jacqueline
1989 Bulletin de l’APMEP. N° 368. p. 160-162. Curiosité et formation.
Auteur : Fort Marc
1976 Bulletin de l’APMEP. N° 305. p. 801-812. Mathématiques et formation continue en France.
Auteur : Bouvier Alain