Accueil Publimath  Aide à la recherche  Requête : "déduction naturelle"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
11 fiches trouvées

12022 Introduction à la théorie de la démonstration.
22015 Actes du 22e colloque de la CORFEM. Pratiques langagières et preuves.Ressource en ligne
32015 La logique pas à pas.
42012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.Ressource en ligne
52011 Logique et raisonnement.
62010 Actes du séminaire national de didactique des mathématiques 2009. La démonstration : une logique en situation ? p. 243-266.Ressource en ligne
72010 Mathématice. N° 20. Une présentation scénarisée du produit de deux entiers relatifs.Ressource en ligne
82009 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. La démonstration : une logique en situation ?Ressource en ligne
92003 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 ?
102001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1. About the notion of natural logic: historical and theoretical remarks. p. 203-211.Ressource en ligne
112001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1.Ressource en ligne