Centre de Documentation HELHa - Loverval
Horaire d'ouverture: Du lundi au vendredi, de 8h00 à 16h00
Fermeture les jours fériés et durant les congés scolaires
Bienvenue sur le catalogue du centre de documentation de la HELHa de Loverval.
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'programme informatique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
![détail](./getgif.php?nomgif=plus)
[article]
Titre : |
Récursivité: programmer, c'est prouver ! |
Type de document : |
texte imprimé |
Auteurs : |
Hervé Lehning, Auteur |
Année de publication : |
2016 |
Article en page(s) : |
22-23 |
Langues : |
Français (fre) |
Mots-clés : |
récurrence programme informatique algorithmes |
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... |
in Tangente > 173 (Novembre-décembre 2016) . - 22-23
[article] Récursivité: programmer, c'est prouver ! [texte imprimé] / Hervé Lehning, Auteur . - 2016 . - 22-23. Langues : Français ( fre) in Tangente > 173 (Novembre-décembre 2016) . - 22-23
Mots-clés : |
récurrence programme informatique algorithmes |
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... |
|
Réservation
Réserver ce document
Exemplaires (1)
|
4236 | 51 TAN | Périodique | Bibliothèque principale | Périodique | Disponible |
![détail](./getgif.php?nomgif=plus)
Réservation
Réserver ce document
Exemplaires (1)
|
6130 | 51 LOS | Périodique | Bibliothèque principale | Périodique | Disponible |