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

dans Afficher les fiches par  
21 fiches trouvées Réponses 1 à 20 Suivant Fin

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.
102013 MATHS MPSI.
112011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.Ressource en ligne
122011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.Ressource en ligne
132009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
142009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
152004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
162004 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.
171996 Enseignement Supérieur et Informatique. OPTION INFORMATIQUE : cours complet pour la SUP MPSI.
181995 Tangente. N° 45. p. 20-21. Raisonner.
191984 Introduction à la logique.Ressource en ligne
201977 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