Tangente Hors-série. N° 76. p. 41-41. La preuve d’un programme.
Auteur : Lehning Hervé
Résumé
Cette brève contient les encarts :
– La preuve d’un programme
– Plus délicat : le cas des fonctions itératives
– Programmer, c’est prouver : le cas des fonctions récursives.
Notes
Cet article est publié sous la rubrique « En bref ».
Il fait partie du dossier : Récursivité dans Tangente Hors-série n° 76 – Processus itératif. Récurrence, récursivité .
Données de publication
Éditeur Editions POLE Paris , 2020 Format A4, p. 41-41
ISSN 1294-9949
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