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

dans Afficher les fiches par  
20 fiches trouvées

12020 Histoires de Mathématiques. Logique. Lettres à une princesse d'Allemagne.Ressource en ligne
22020 Histoires de Mathématiques. Logique. Le tournant mathématique.Ressource en ligne
32020 Histoires de Mathématiques. Logique. Socrate est mortel.Ressource en ligne
42020 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
52018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".Ressource en ligne
62017 Histoires de Mathématiques. Informatique. Le Don Quichotte de la nation.Ressource en ligne
72016 Repères-IREM, N°105. p. 5-20. La logique mathématique : un langage expert à s'approprier.Ressource en ligne
82013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
92013 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.
102011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.Ressource en ligne
112011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.Ressource en ligne
122009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
132009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
142004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
152004 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.
161996 Enseignement Supérieur et Informatique. OPTION INFORMATIQUE : cours complet pour la SUP MPSI.
171995 Tangente. N° 45. p. 20-21. Raisonner.
181984 Introduction à la logique.Ressource en ligne
191977 Information mathématique. N° 10. p. 9-29. Compte rendu des activités 76-77 du groupe math-physique. Centre de Digne.Ressource en ligne
201975 Introduction à la logique.