Mots-clés – Auteurs

calcul des propositions

Il y a 40 résultats pour cette recherche

2015 La logique pas à pas.
Auteur : Duparc Jacques
2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
Auteur : Cohen Gilles. Dir.
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é
2012 Actes des 18e et 19e colloques de la CORFEM.
Auteurs : Gandit Michèle. Dir. ; Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
Auteur : Cohen Gilles. Dir.
2009 Bibliothèque Tangente. N° 37. Sous l’ordinateur, les booléens. p. 54-58.
Auteur : Lehning Hervé
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.
Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 L’Ouvert. N° 109.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
2004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
Auteur : Temam Daniel
2004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
Auteur : Barthe Daniel
2004 Du mode d’existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
2004 Bibliothèque Tangente. N° 15. Le moteur logique : l’implication. p. 30-31.
Auteur : Cohen-Zardi Gérard
2004 L’Ouvert. N° 109. p. 21-31. La logique et la vérité.
Auteur : Chauve Alain
2003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.
Auteur : Temam Daniel
2003 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l’implication.
Auteur : Cohen-Zardi Gérard
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
2001 Produire et lire des textes de démonstration. Une approche linguistique de textes de raisonnement. p. 87-110.
Auteur : Beck Isabelle
2001 Produire et lire des textes de démonstration.
Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2000 Le statut logique des énoncés dans la classe de mathématiques.
Auteurs : Durand-Guerrier Viviane ; Le Berre Maryvonne ; Pontille Marie-Claude ; Feurly-Reynaud Josette
1997 sigma. Mathématiques Analyse et algèbre linéaire BTS tertiaires.
Auteur : Verlant Bernard
1996 Les philosophes et les mathématiques.
Auteurs : Barbin Evelyne. Dir. ; Caveing Maurice. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
1996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.
Auteur : Schmitz François
1995 Différents types de savoirs et leur articulation.
Auteurs : Arsac Gilbert ; Grea Jean ; Grenier Denise ; Tiberghien Andrée ; Balacheff Nicolas. Dir.
1995 Différents types de savoirs et leur articulation. Place de la logique formelle comme outil d’analyse des connaissances mises en oeuvre dans le raisonnement mathématique dans une perspective didactique. p. 205-233.
Auteur : Durand-Guerrier Viviane
1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
1991 Logique et raisonnement mathématique. Document à l’usage des élèves et étudiants scientifiques.
Auteur : El Faqih El Mekki
1990 Tangente. N° 18. p. 44-45. Logique, sir !
Auteur : Lehning Hervé
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1986 Dictionnaire de l’APMEP. La mathématique parlée par ceux qui l’enseignent. Connecteur.
Auteur : APMEP Commission du Dictionnaire
1977 Une introduction – Tome 1 : à la logique.
Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1974 Bulletin de l’APMEP. N° 293. p. 370-374. Ecriture de propositions en mathématiques.
Auteur : Laura Marc
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
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
1967 Bulletin de l’APMEP. N° 258. p. 165-176. Fonctions caractéristiques des connecteurs.
Auteur : Glaymann Maurice
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