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

dans Afficher les fiches par  
16 fiches trouvées

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
22018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".Ressource en ligne
32016 Repères-IREM, N°105. p. 5-20. La logique mathématique : un langage expert à s'approprier.Ressource en ligne
42013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
52013 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.
62011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.Ressource en ligne
72011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.Ressource en ligne
82009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
92009 Bibliothèque Tangente. N° 37. Sous l'ordinateur, les booléens. p. 54-58.
102004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
112004 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.
121996 Enseignement Supérieur et Informatique. OPTION INFORMATIQUE : cours complet pour la SUP MPSI.
131995 Tangente. N° 45. p. 20-21. Raisonner.
141984 Introduction à la logique.Ressource en ligne
151977 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
161975 Introduction à la logique.