2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
Il y a 36 résultats avec cette recherche.
2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
2011 Actes du XXXVIIème colloque COPIRELEM. La Grande Motte 2010. Cédérom : Communications et Ateliers.
Auteur : Commission inter-IREM COPIRELEM. Ed.
2017 PLOT. Nouvelle série. N° 57. p. 2-7. A propos de l’erreur en mathématiques
Auteur : Perrin Daniel
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
Auteur : Guichard Jacqueline
Auteurs : Lakatos Imre ; Worall John. Préf. ; Zahar Elie. Préf. ; Balacheff Nicolas. Trad. ; Laborde Jean-Marie. Trad.
2020 C.Q.F.D.
Auteurs : Pradeau Yan ; Benjamin Yves. Collab.
Auteur : Hoyrup Jens
2001 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2012 Mathématice. N° 27. Recherche de problèmes au collège avec un logiciel de géométrie dynamique.
Auteur : Kuntz Gérard
2009 Mathématice. N° 17. Math-Bridge, un pont (européen) entre lycée et université.
Auteur : Mercat Christian
2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
Auteur : Mahboubi Assia
2003 Repères-IREM. N° 53.
Auteurs : Girmens Yves ; Larguier Mirène ; Pellequer Sylvie
Auteurs : Girmens Yves ; Larguier Mirène ; Pellequer Sylvie
Auteurs : Beaulieu Marie ; Hodgson Bernard R.
1996 Quadrature. N° 24. p. 13-17. C’est é-lé-men-taire !
Auteur : Cegielski Patrick
Auteur : Mancosu Paolo
1999 Revue d’histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.
Auteur : Sinaceur Hourya. Dir.