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

dans Afficher les fiches par  
44 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 18e et 19e colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.Ressource en ligne
62012 Actes des 18e et 19e colloques de la CORFEM.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. Logique, sir ! p. 16-17.
112004 Bibliothèque Tangente. N° 15. La logique.
122004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
132004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
142004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
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. p. 21-31. La logique et la vérité.Ressource en ligne
182004 L'Ouvert. N° 109.Ressource en ligne
192003 Sciences Sup. Logique mathématique. V. 1.
202003 Tangente Hors-série. N° 15. Vol. 1. La logique.