Tangente. N° 173. p. 22-23. Récursivité : programmer, c’est prouver !
Auteur : Lehning Hervé
Résumé
La récursivité, qui peut sembler une méthode sibylline quand on ne la connaît pas, permet d’écrire des programmes plus faciles à prouver, donc plus sûrs. Le principe clef est qu’avec la récursivité, programmer, c’est prouver ! Trier un jeu de cartes l’illustre parfaitement…
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Expériences mathématiques.
Données de publication
Éditeur Editions POLE Paris , 2016 Format A4, p. 22-23
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