Aide à la recherche   Requête : "calcul des prédicats"

45 fiches trouvées

Reponses 1 à 20

1	2015 La logique pas à pas.
2	2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
3	2014 Actes du 21e colloque de la CORFEM. Logique, langage. Enoncés et preuves en mathématiques.
4	2014 Histoire de la logique.
5	2012 Actes des 18e et 19e colloques de la CORFEM.
6	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.
7	2011 Logique et raisonnement.
8	2011 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Grandeur et misère de l'implication.
9	2010 Logicomix.
10	2009 Recherches en didactique des mathématiques. Vol. 29. N° 2. p. 123-154. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite.
11	2009 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. La démonstration : une logique en situation ?
12	2007 Actes du séminaire national de didactique des mathématiques 2006. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite. p. 101-121.
13	2007 Les métamorphoses du calcul.
14	2006 Petit x. N° 71. p. 7-28. Equations et inéquations au secondaire entre syntaxe et sémantique
15	2005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
16	2004 Du mode d'existence des objets de la mathématique.
17	2004 Gödel.
18	2003 Petit x. N° 61. p. 11-34. Approche didactique de la quantification dans la classe de mathématiques dans l'enseignement tunisien.
19	2003 Recherches en didactique des mathématiques. Vol. 23. N° 3. p. 295-342. Méthodes de raisonnement et leurs modélisations logiques. Spécificité de l'analyse. Quelles implications didactiques ?
20	2003 Sciences Sup. Logique mathématique. V. 1.