2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent
logique mathématique
Il y a 313 résultats avec cette recherche.
-
-
2004 L’Ouvert. N° 110. p. 75-76. Commentaires sur « la logique et la vérité ».
Auteur : Friedelmeyer Jean-Pierre
-
1979 L’Ouvert. N° 19. p. 2-6. Genèse – Educational math.
Auteurs : Lefort Jean. Trad. ; Martin Gérard. Trad.
-
1990 L’Ouvert. N° 60. p. 35-44. Changement de registre.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
-
2014 PLOT. Nouvelle série. N° 45. p. 27-27. Les petites phrases mathématiques…
Auteur : Deledicq Jean-Christophe
-
Auteur : Bouleau Nicolas
-
1974 Bulletin de l’APMEP. N° 293. p. 370-374. Ecriture de propositions en mathématiques.
Auteur : Laura Marc
-
Auteur : Touyarot Marie-Antoinette
-
1956 Bulletin de l’APMEP. N° 175. p. 259-261. Retour à l’expérience pédagogique.
Auteur : Félix Lucienne
-
Auteur : Gentilhomme Yves
-
1963 Bulletin de l’APMEP. N° 231. p. 389-401. Matériaux pour un dictionnaire.
Auteur : Walusinski Gilbert
-
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
-
Auteur : Lacombe Daniel
-
Auteurs : Rogalski Janine ; Rogalski Marc
-
2018 Maths Sup – 20 fiches techniques et exercices de base – MPSI, PCSI et PTSI.
Auteur : Dupuy-Touzet Sophie
-
2003 Collection des sciences appliquées de l’INSA de Lyon. Algèbre et analyse.
Auteurs : Balac Stéphane ; Sturm Frédéric ; Friboulet Denis. Préf. ; Vray Didier. Préf.
-
1982 Knights and knaves.
Auteurs : Fage Claudine ; Linol Martine
-
Auteur : Rovira Patrice
-
2009 J’intègre. Visa pour la prépa MPSI, PCSI, PTSI.
Auteurs : Connan Guillaume ; Choimet Denis. Préf.
-
2009 J’intègre. Visa pour la prépa ECS, ECE, BCPST.
Auteurs : Connan Guillaume ; Choimet Denis. Préf.
-
1993 Les irrationalités de la logique.
Auteur : Longo Giuseppe