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

12020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.Ressource en ligne
22015 La logique pas à pas.
32014 Histoire de la logique.
42013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
52012 Actes des 18ème et 19ème colloques de la CORFEM.Ressource en ligne
62012 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
72009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
82009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
92008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
102004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
112004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
122004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
132004 Bibliothèque Tangente. N° 15. La logique.
142004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
152004 Du mode d'existence des objets de la mathématique.
162004 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.
172004 L'Ouvert. N° 109.Ressource en ligne
182004 L'Ouvert. N° 109. p. 21-31. La logique et la vérité.Ressource en ligne
192003 Sciences Sup. Logique mathématique. V. 1.
202003 Tangente Hors-série. N° 15. Vol. 1. p. 22-23. Le moteur logique : l'implication.