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

dans Afficher les fiches par  
42 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.Ressource en ligne
52012 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
62009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
72009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
82008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
92004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
102004 Bibliothèque Tangente. N° 15. La logique.
112004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
122004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
132004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
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. La logique.
202003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.