calcul des propositions

Il y a 40 résultats avec cette recherche.

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
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
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.
2012 Actes des 18e et 19e colloques de la CORFEM.

Auteurs : Gandit Michèle. Dir. ; Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.

Auteur : Cohen Gilles. Dir.
2009 Bibliothèque Tangente. N° 37. Sous l’ordinateur, les booléens. p. 54-58.

Auteur : Lehning Hervé
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.

Auteur : Cohen Gilles. Dir.
1996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.

Auteur : Schmitz François
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.
2004 Du mode d’existence des objets de la mathématique.

Auteur : Gardies Jean-Louis
2015 La logique pas à pas.

Auteur : Duparc Jacques
1996 Logique et raisonnement mathématique.

Auteur : Durand-Guerrier Viviane
1987 Au carrefour des mathématiques et du français : la logique.

Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
1971 Eléments de logique pour servir à l’enseignement mathématique.

Auteurs : Adda Josette ; Faivre Wilfred
2004 Bibliothèque Tangente. N° 15. La logique.

Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.

Auteur : Cohen Gilles. Dir.
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.

Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2004 L’Ouvert. N° 109.

Auteur : IREM de Strasbourg L'Ouvert. Dir.
1990 Tangente. N° 18. p. 44-45. Logique, sir !

Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.

Auteur : Lehning Hervé
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é
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
2003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l’implication.

Auteur : Cohen-Zardi Gérard