Liste fiches - Publimath

logique classique

Il y a 16 résultats pour cette recherche

2022 Repères-IREM. N° 128. p. 5-38. Un enseignement de l'algèbre structuré par la modélisation, du secondaire au supérieur.
Auteurs : Job Pierre ; Krysinska Mariza ; Schneider Maggy
2015 Tangente Hors-série. N° 55. p. 18-20. Les limites de la preuve.
Auteur : Lehning Hervé
2015 Tangente Hors-série. N° 55. p. 38-40. Analyse et synthèse : une particularité mathématique.
Auteur : Bair Jacques
2015 La logique pas à pas.
Auteur : Duparc Jacques
2015 Bibliothèque Tangente. N° 55. Les limites de la preuve. p. 30-31.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 55. Analyse et synthèse : une particularité mathématique. p. 64-67.
Auteur : Bair Jacques
2012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.
Auteur : Durand-Guerrier Viviane
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
2009 Vous avez dit hasard ?
Auteur : Gauvrit Nicolas
2004 L'Ouvert. N° 110. p. 75-76. Commentaires sur "la logique et la vérité".
Auteur : Friedelmeyer Jean-Pierre
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 ?
Auteurs : Durand-Guerrier Viviane ; Arsac Gilbert
2001 La logique ou l'art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
1993 Logique quantique.
Auteur : Delmas-Rigoutsos Yannis
1991 La logique linéaire.
Auteur : Girard Jean-Yves
1990 L'identité en mathématiques constructives.
Auteur : Dalen Dirk van