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

dans Afficher les fiches par  
10 fiches trouvées

12015 Actes du 22e colloque de la CORFEM. Pratiques langagières et preuves.Ressource en ligne
22015 La logique pas à pas.
32012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.Ressource en ligne
42011 Logique et raisonnement.
52010 Actes du séminaire national de didactique des mathématiques 2009. La démonstration : une logique en situation ? p. 243-266.Ressource en ligne
62010 Mathématice. N° 20. Une présentation scénarisée du produit de deux entiers relatifs.Ressource en ligne
72009 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
82003 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 ?
92001 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
102001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1.Ressource en ligne