Rayon Informatique, TIC
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité

Fiche technique

Format : Broché
Nb de pages : 260 pages
Poids : 490 g
Dimensions : 18cm X 26cm
ISBN : 978-2-7298-8788-9
EAN : 9782729887889

Exercices de programmation fonctionnelle en OCaml

une approche pédagogique par l'algorithmique, la preuve et la complexité


Collection(s) | Technosup
Paru le
Broché 260 pages

Quatrième de couverture

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.

Biographie

Fabienne Carrier, Pascal Lafourcade et Laurent Mounier sont Maîtres de conférences à l'Université Joseph Fourier de Grenoble, où ils enseignent la programmation et plus particulièrement la programmation fonctionnelle, à tous les niveaux, depuis plusieurs années.

Avis des lecteurs

Du même auteur : Pascal Lafourcade

25 énigmes ludiques pour s'initier à la cryptographie

Bases de données : informatique BUT 1re année et L1

15 énigmes ludiques pour s'initier à la programmation Python

25 énigmes ludiques pour s'initier à la cryptographie

20 énigmes ludiques pour se perfectionner en cryptographie

15 énigmes ludiques pour se perfectionner en programmation Python

Comment s'exercer à apprendre ? : améliorer ses pratiques d'apprentissage

Architectures de sécurité pour Internet : protocoles, standards et déploiem

Informatique théorique : logique et démonstration automatique : introductio