Accueil Publimath  Aide à la recherche  Requête : "logique des prédicats"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
17 fiches trouvées

12020 Histoires de Mathématiques. Logique. La Grande Famine.Ressource en ligne
22015 Actes du Colloque EMF 2015. Penser la question des contenus à la transition secondaire-supérieur au sein du réseau des IREM en France. p. 994-1004.Ressource en ligne
32015 Actes du Colloque EMF 2015. Le changement de langage dans l'activité mathématique. p. 752-764.Ressource en ligne
42015 Actes du Colloque EMF 2015. Pluralités culturelles et universalité des mathématiques : enjeux et perspectives pour leur enseignement et leur apprentissage.Ressource en ligne
52012 Actes du Colloque EMF 2012. Enseignement des mathématiques et contrat social : enjeux et défis pour le 21e siècle.Ressource en ligne
62012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.Ressource en ligne
72012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.Ressource en ligne
82011 Logique et raisonnement.
92008 Bases mathématiques pour l'enseignement supérieur.Ressource en ligne
102007 Les métamorphoses du calcul.
112004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
122004 Actes du Séminaire National de Didactique des mathématiques 2003. La théorie élémentaire des modèles comme référence épistémologique pour analyser les énoncés et les raisonnements mathématiques : aspects logiques, perspectives didactiques et aperçus linguistiques. p. 207-226.
131998 PLOT. N° 80. p. 13-15. Théorème, contraposée réciproque.
141996 Logique et raisonnement mathématique.
151987 Au carrefour des mathématiques et du français : la logique.Ressource en ligne
161982 Logique et ontologie.
171964 Bulletin de l'APMEP. N° 240. p. 449-458. Les mots et les symboles.