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

24 fiches trouvées

Reponses 1 à 20

1	2020 Histoires de Mathématiques. Logique. Le tournant mathématique.
2	2020 Histoires de Mathématiques. Logique. Lettres à une princesse d'Allemagne.
3	2020 Histoires de Mathématiques. Logique. Socrate est mortel.
4	2020 Repères-IREM. N° 119.
5	2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
6	2018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".
7	2017 Histoires de Mathématiques. Informatique. Le Don Quichotte de la nation.
8	2016 Repères-IREM. N° 105.
9	2016 Repères-IREM. N° 105. p. 5-20. La logique mathématique : un langage expert à s'approprier.
10	2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
11	2013 Les ouvrages de mathématiques dans l'Histoire. Les dernières batailles d'Euclide : sur l'usage des Eléments pour l'enseignement de la géométrie au XIXe siècle. p. 57-70.
12	2013 MATHS MPSI.
13	2011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.
14	2011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.
15	2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
16	2009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
17	2004 Actes du Séminaire National de Didactique des mathématiques 2003. Traitement de la validité de l'implication par des étudiants, corrélations avec leurs performances mathématiques, liens avec diverses questions de psychologique cognitive. p. 227-255.
18	2004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.
19	1996 Enseignement Supérieur et Informatique. OPTION INFORMATIQUE : cours complet pour la SUP MPSI.
20	1995 Tangente. N° 45. p. 20-21. Raisonner.