Bibliothèque Tangente. N° 76. Programmer, c’est prouver. p. 104-105.
Auteur : Lehning Hervé
Résumé
L’un des gros avantages de la récursivité est de donner des programmes dont il est facile de prouver qu’ils donnent bien le résultat attendu. Dans cet article, l’auteur montre le lien entre l’écriture et la preuve d’un programme.
Notes
Cet article est publié sous la rubrique « Savoirs ». Il fait partie du dossier : Récursivité dans Bibliothèque Tangente n° 76 – Itération et récurrence .
Données de publication
Éditeur Editions POLE Paris , 2021 Collection Bibliothèque Tangente Num. 76 Format 17 cm x 24 cm, p. 104-105
ISBN 2-84884-242-3 EAN 9782848842424 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification