Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité
Sparad:
| Huvudupphovsmän: | , , |
|---|---|
| Materialtyp: | Livre papier |
| Språk: | Français |
| Publicerad: |
Paris :
Ellipses
DL 2014.
|
| Serie: | Technosup : les filières technologiques des enseignements supérieurs
|
| Ämnen: | |
| Anmärkning: |
Avant-titre : "Programmation" |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Programmation :, exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité |
Innehållsförteckning:
- I. Définitions et notations
- II. Fonctions sur des entiers
- III. Fonctions sur des listes
- IV. Fonctions sur des arbres binaires