Accueil Publimath  Aide à la recherche  Requête : "calcul des propositions"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
29 fiches trouvées Réponses 1 à 20 Suivant Fin

12014 Histoire de la logique.
22013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
32009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
42009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
52004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
62004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
72004 Bibliothèque Tangente. N° 15. La logique.
82004 Du mode d'existence des objets de la mathématique.
92004 Educational Studies in Mathematics. V. 53. Num. 1. p. 5-34. Which notion of implication is the right one? From logical considerations to a didactic perspective.
102004 L'Ouvert. Num. 109.Ressource en ligne
112004 L'Ouvert. Num. 109. p. 21-31. La logique et la vérité.Ressource en ligne
122003 Tangente Hors-série. N° 15. Vol. 1. La logique.
132003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.
142003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l'implication.
152001 Actes du séminaire national de didactique des mathématiques. Année 2000.Ressource en ligne
162001 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.Ressource en ligne
172000 Le statut logique des énoncés dans la classe de mathématiques.
181997 sigma. Mathématiques Analyse et algèbre linéaire BTS tertiaires.
191996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.
201996 Logique et raisonnement mathématique.