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

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

12020 Récréations philosophiques.
22018 Prof de Maths, un chouette métier ! Tome 2.
32017 Petit x. N° 104. p. 5-24. La logique formelle au niveau universitaire : une étude empirique en contexte de démonstration.Ressource en ligne
42017 Tangente. N° 174. p. 12-13. Les structures de la langue.
52014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
62014 Le Petit Vert. N° 120. p. 14-16. Aristote et Barbara (suite).
72014 Le Petit Vert. N° 119. p. 37-39. Aristote et Barbara.
82012 Actes des 18ème et 19ème colloques de la CORFEM.Ressource en ligne
92012 Actes des 18ème et 19ème colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.Ressource en ligne
102012 Promenade dialectique dans les sciences.
112011 Actes du séminaire national de didactique des mathématiques 2010. Les relations entre Logique, Preuve et Apprentissages mathématiques : une question d'actualité en didactique des mathématiques ? (Résumé) p. 5.
122011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.Ressource en ligne
132010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
142009 Bulletin de l'APMEP. N° 485. p. 765-775. Atelier scientifique au collège : mathématiques et modélisation en 3D.Ressource en ligne
152008 Actes du séminaire national de didactique des mathématiques. Année 2007.Ressource en ligne
162008 Actes du séminaire national de didactique des mathématiques 2007. Etude épistémologique et didactique de l'implication mathématique sous trois points de vue : raisonnement déductif, logique formelle et théorie des ensembles. p. 66-101.
172004 Bibliothèque Tangente. N° 15. Les énigmes d'Oedipeland. p. 106-109.
182004 Bibliothèque Tangente. N° 15. La logique d'Aristote. p. 6-11.
192004 Bibliothèque Tangente. N° 15. Le moteur logique : l'implication. p. 30-31.
202004 Bibliothèque Tangente. N° 15. Les logiques non classiques. p. 78-79.