Aide à la recherche   Requête : "logique formelle"

68 fiches trouvées

Reponses 1 à 20

1	2020 Récréations philosophiques.
2	2018 Prof de Maths, un chouette métier ! Tome 2.
3	2017 Petit x. N° 104. p. 5-24. La logique formelle au niveau universitaire : une étude empirique en contexte de démonstration.
4	2017 Tangente. N° 174. p. 12-13. Les structures de la langue.
5	2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
6	2014 Le Petit Vert. N° 119.
7	2014 Le Petit Vert. N° 119. p. 37-39. Aristote et Barbara.
8	2014 Le Petit Vert. N° 120.
9	2014 Le Petit Vert. N° 120. p. 14-16. Aristote et Barbara (suite).
10	2012 Actes des 18e et 19e colloques de la CORFEM.
11	2012 Actes des 18e et 19e colloques de la CORFEM. Elaboration d'une formation à la logique pour les professeurs de mathématiques. p. 201-223.
12	2012 Promenade dialectique dans les sciences.
13	2011 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.
14	2011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.
15	2010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
16	2009 Bulletin de l'APMEP. N° 485. p. 765-775. Atelier scientifique au collège : mathématiques et modélisation en 3D.
17	2008 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.
18	2008 Actes du séminaire national de didactique des mathématiques. Année 2007.
19	2004 Bibliothèque Tangente. N° 15. La logique d'Aristote. p. 6-11.
20	2004 Bibliothèque Tangente. N° 15. La logique.