Logique

Il y a 582 résultats avec cette recherche.

2005 Actes du XXXIème colloque COPIRELEM sur la formation des maîtres. Raisonnement plausible versus raisonnement de nécessité : où est la frontière ?

Auteur : Cabassut Richard
2009 Actes du XXXVème colloque COPIRELEM Bombannes 2008. Influence de la nature de la situation sur l’apparition le traitement et l’usage par l’enseignant des raisonnements produits par des élèves.

Auteur : Gibel Patrick
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique – variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.

Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
2019 Actes du séminaire national de didactique des mathématiques 2018. Contrôle, preuve et démonstration trois régimes de la validation. p. 423-456.

Auteur : Balacheff Nicolas
2019 Actes du séminaire national de didactique des mathématiques 2018. Elaboration et usages d’un modèle multidimensionnel d’analyse des raisonnements en classe de mathématiques. p. 289-312.

Auteur : Gibel Patrick
1991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.

Auteur : Vidiani Lazare Georges
1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.

Auteur : Vidiani Lazare Georges
1986 Actes de l’université d’été sur l’Histoire des Mathématiques. Le Mans. Les mathématiques grecques dans leur contexte philosophique (Aristote sur la démonstration et l’interprétation de l’univers). p. 3-35.

Auteur : De Gandt François
2001 Histoire et épistémologie dans l’éducation mathématique : de la maternelle à l’université. V. 1. Exploring Fregean perspectives in mathematics education. p. 255-269.

Auteurs : Moreira Candida ; Gardiner Tony
2013 Quadrature. N° 90. p. 18-23. Les nombres réels calculables selon Alan Turing.

Auteur : Lombardi Henri
2012 Actes du Colloque EMF 2012. Difficultés d’étudiants universitaires débutant avec la preuve. p. 953-963.

Auteur : Azrou Nadia
2015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. Quand les « mathématiques modernes » questionnent les méthodes pédagogiques dans l’enseignement secondaire (1904-1910). p. 781-797.

Auteur : Renaud Hervé
2003 Bulletin de l’APMEP. N° 449. p. 810-814. Inégalités dangereuses.

Auteur : Lion Georges
2003 Bulletin de l’APMEP. N° 449. p. 742-756. Enseigner les mathématiques aujourd’hui. Pourquoi ? Pour qui ? Comment ?

Auteur : Artigue Michèle
2016 Petit x. N° 100. p. 67-98. Etat des connaissances des élèves de terminale S sur le raisonnement par récurrence.

Auteurs : Gardes Denis ; Gardes Marie-Line ; Grenier Denise
2012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.

Auteurs : Chellougui Faïza ; Kouki Rahim
2005 Petit x. N° 68. p. 69-74. Activité… Logique et contes de fées : Alphonse et les lutins.

Auteur : Roussie Claude
2004 Petit x. N° 64. p. 62-81. Problèmes de transposition didactique.

Auteur : Conne François
1982 Grand N. N° 26. p. 77-78. Courrier.

Auteur : Antonin Louisette
1999 Une heuristique basée sur la méthode CBR (Case Based Reasoning) pour résoudre des problèmes de mathématiques.

Auteur : Haesbroeck Gentiane
1990 L’identité en mathématiques constructives.

Auteur : Dalen Dirk van
1994 Mathématiques constructives. De la difficulté d’être omniscient. p. 25-37.

Auteur : Lombardi Henri
2003 Petit x. N° 61. p. 11-34. Approche didactique de la quantification dans la classe de mathématiques dans l’enseignement tunisien.

Auteur : Chellougui Faïza
2012 Petit x. N° 88. p. 27-47. Une étude didactique du concept de récurrence.

Auteur : Grenier Denise