Aide à la recherche   Requête : "calcul des propositions"

44 fiches trouvées

Reponses 1 à 20

1	2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
2	2015 La logique pas à pas.
3	2014 Histoire de la logique.
4	2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
5	2012 Actes des 18e et 19e colloques de la CORFEM.
6	2012 Actes des 18e et 19e colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.
7	2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
8	2009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
9	2008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
10	2004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.
11	2004 Bibliothèque Tangente. N° 15. La logique.
12	2004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
13	2004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
14	2004 Bibliothèque Tangente. N° 15. Logique, sir ! p. 16-17.
15	2004 Du mode d'existence des objets de la mathématique.
16	2004 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.
17	2004 L'Ouvert. N° 109.
18	2004 L'Ouvert. N° 109. p. 21-31. La logique et la vérité.
19	2003 Sciences Sup. Logique mathématique. V. 1.
20	2003 Tangente Hors-série. N° 15. Vol. 1. La logique.