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

  dans Afficher les fiches par  
23 fiches trouvées Reponses 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.
42016 J'intègre. Visa pour la prépa MPSI, PCSI, PTSI, BCPST, ECS : 2016-2017.
52015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.Ressource en ligne
62015 La logique pas à pas.
72014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.Ressource en ligne
82012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.Ressource en ligne
92012 Actes du Colloque EMF 2012. Enseignement des mathématiques et contrat social : enjeux et défis pour le 21e siècle.Ressource en ligne
102012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.Ressource en ligne
112012 The HPM Satellite Meeting of ICME-12. Proceeding book 1. Historical Projects in Discrete Mathematics. p. 145-157.Ressource en ligne
122011 Logique et raisonnement.
132010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
142010 Mathématice. N° 19. La logique, la princesse, un tableur et les tigres.Ressource en ligne
152009 Bulletin de l'APMEP. N° 485. p. 792-794. Algorithmique en Seconde au fil du net.Ressource en ligne
162009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
171997 Initiation à la logique.
181997 L'organisation des mathématiques grecques de Théétète à Archimède.
191996 Logique et raisonnement mathématique.
201991 Bulletin de l'APMEP. N° 378. p. 161-166. Vers la quantification.Ressource en ligne