formalisme

Il y a 16 résultats avec cette recherche.

2007 Sur les liens historiques entre Mathématiques et Sciences Physiques.

Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
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.
1990 Morale et formalisation

Auteur : Jacob André
1976 Bulletin de l’APMEP. N° 305. p. 801-812. Mathématiques et formation continue en France.

Auteur : Bouvier Alain
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
1994 L’Ouvert. N° 76 spécial Georges Reeb.

Auteurs : IREM de Strasbourg L'Ouvert. Dir. ; Friedelmeyer Jean-Pierre. Dir.
2007 Sur les liens historiques entre Mathématiques et Sciences Physiques. A propos de modélisation. p. 73-96.

Auteur : Lombard Philippe
2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l’ai démontré !

Auteur : Delaunay David
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é
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.
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