Tangente. N° 8. p. 31-33. La machine peut-elle démontrer ?
Auteur : Lehning Hervé
Résumé
L’auteur de cet article montre en quoi l’utilisation d’un ordinateur peut faciliter une démonstration. Il propose de résoudre un petit problème d’arithmétique de deux façons : soit théoriquement, soit algorithmiquement.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Données de publication
Éditeur Editions POLE Paris , 1988 Format A4, p. 31-33
ISSN 0987-0806
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification