| Titre : |
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité |
| Type de document : |
texte imprimé |
| Auteurs : |
Fabienne Carrier ; Pascal Lafourcade, Auteur ; Laurent Mounier, Auteur |
| Editeur : |
Paris : Ellipses |
| Année de publication : |
2014 |
| Collection : |
Technosup (Paris), ISSN 1275-3955 |
| Importance : |
260 p. |
| Présentation : |
couv. ill. |
| Format : |
26 cm |
| ISBN/ISSN/EAN : |
978-2-7298-8788-9 |
| Note générale : |
Bibliogr. p. 257. Index |
| Langues : |
Français (fre) |
| Catégories : |
005.133 Langages de programmation spécifiques classés alphabétiquement (langages de programmation particuliers :ASP.NET, C, C#, C++, Java, JavaScript, MicroSoft Visual BASIC, PHP, Python, SQL, XSLT, etc.)
|
| Mots-clés : |
Objective Caml (langage de programmation) : Manuels d'enseignement supérieur Programmation fonctionnelle (informatique) : Manuels d'enseignement supérieur |
| Index. décimale : |
005.133 |
| Résumé : |
L'ouvrage : niveau A (IUT - BTS - 1er cycle) Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine d'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre. |
| Note de contenu : |
Sommaire :
I. Définitions et notations
II. Fonctions sur des entiers
III. Fonctions sur des listes
IV. Fonctions sur des arbres binaires |
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité [texte imprimé] / Fabienne Carrier ; Pascal Lafourcade, Auteur ; Laurent Mounier, Auteur . - Paris : Ellipses, 2014 . - 260 p. : couv. ill. ; 26 cm. - ( Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-7298-8788-9 Bibliogr. p. 257. Index Langues : Français ( fre)
| Catégories : |
005.133 Langages de programmation spécifiques classés alphabétiquement (langages de programmation particuliers :ASP.NET, C, C#, C++, Java, JavaScript, MicroSoft Visual BASIC, PHP, Python, SQL, XSLT, etc.)
|
| Mots-clés : |
Objective Caml (langage de programmation) : Manuels d'enseignement supérieur Programmation fonctionnelle (informatique) : Manuels d'enseignement supérieur |
| Index. décimale : |
005.133 |
| Résumé : |
L'ouvrage : niveau A (IUT - BTS - 1er cycle) Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine d'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre. |
| Note de contenu : |
Sommaire :
I. Définitions et notations
II. Fonctions sur des entiers
III. Fonctions sur des listes
IV. Fonctions sur des arbres binaires |
|  |
Affiner la recherche Interroger des sources externes
