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

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

12015 La logique pas à pas.
22014 Histoire de la logique.
32013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
42012 Actes des 18ème et 19ème colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.Ressource en ligne
52012 Actes des 18ème et 19ème colloques de la CORFEM.Ressource en ligne
62009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
72009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
82008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
92004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
102004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
112004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
122004 Bibliothèque Tangente. N° 15. La logique.
132004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
142004 Du mode d'existence des objets de la mathématique.
152004 Educational Studies in Mathematics. V. 53. N° 1. p. 5-34. Which notion of implication is the right one? From logical considerations to a didactic perspective.
162004 L'Ouvert. N° 109.Ressource en ligne
172004 L'Ouvert. N° 109. p. 21-31. La logique et la vérité.Ressource en ligne
182003 Sciences Sup. Logique mathématique. V. 1.
192003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l'implication.
202003 Tangente Hors-série. N° 15. Vol. 1. La logique.