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

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

12020 Histoires de Mathématiques. Logique. Le tournant mathématique.Ressource en ligne
22020 Histoires de Mathématiques. Logique. Lettres à une princesse d'Allemagne.Ressource en ligne
32019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.
42015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.Ressource en ligne
52015 La logique pas à pas.
62014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.Ressource en ligne
72012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.Ressource en ligne
82012 Actes du Colloque EMF 2012. Enseignement des mathématiques et contrat social : enjeux et défis pour le 21e siècle.Ressource en ligne
92012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.Ressource en ligne
102012 The HPM Satellite Meeting of ICME-12. Proceeding book 1. Historical Projects in Discrete Mathematics. p. 145-157.Ressource en ligne
112011 Logique et raisonnement.
122010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
132010 Mathématice. N° 19. La logique, la princesse, un tableur et les tigres.Ressource en ligne
142009 Bulletin de l'APMEP. N° 485. p. 792-794. Algorithmique en Seconde au fil du net.Ressource en ligne
152009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
161997 Initiation à la logique.
171997 L'organisation des mathématiques grecques de Théétète à Archimède.
181996 Logique et raisonnement mathématique.
191991 Bulletin de l'APMEP. N° 378. p. 161-166. Vers la quantification.Ressource en ligne
201991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.Ressource en ligne