Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Raisonnements et démonstrations en mathématiques
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

156 fiches trouvées Debut Precedent Reponses 141 à 156

1412003 Bulletin de l'APMEP. N° 449. p. 810-814. Inégalités dangereuses.Ressource en ligne
1422003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.Ressource en ligne
1432003 Tangente. N° 92. p. 16-25. Quelle belle démonstration !
1442002 Raisonnements divins.
1452002 Tangente Hors-série. N° 13. p. 12-15. L'induction mathématique : la récurrence.
1462002 Tangente Hors-série. N° 13. p. 16-18. Quand la récurrence a de l'imagination.
1472001 Introduction à la logique.
1481999 Contribution à une approche historique de l'enseignement des mathématiques. Comportement curieux de la touche y^x. p. 405-417.Ressource en ligne
1491999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano's criticism of indirect proofs.Ressource en ligne
1501993 Histoires de problèmes. Histoire des mathématiques. En route vers l'infini. p. 7-32.
1511993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.
1521991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.Ressource en ligne
1531991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.Ressource en ligne
1541991 Raisonnement et méthodes de démonstrations.Ressource en ligne
1551991 Tangente. N° 24. p. 32-35. Transformez c'est gagné !
1561976 Bulletin de l'APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l'enseignement des mathématiques.Ressource en ligne