Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par lalgorithmique, la preuve et la complexité.pdf

Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par lalgorithmique, la preuve et la complexité

Fabienne Carrier

Ce livre dexercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique quaux enseignants intéressés par la programmation fonctionnelle. Louvrage aborde notamment les notions de correction, de complexité et defficacité dun algorithme fonctionnel, à travers les solutions détaillées dune quarantaine dexercices. 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 quils 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 loriginalité du livre.

De plus, nous introduisons le typage statique, et motivons son usage par rapport au déboggage (e.g. en utilisant l'interpreter toplevel de Caml). Le but de ce cours est de présente l'algorithmique fonctionnelle afin de résoudre des problèmes plus ou moins complexes en manipulant les données au moyen de fonctions, et nous implantons ces concepts via des programmes en langage OCaml. Décembre 2014. Nouvelles acquisitions

2.32 MB Taille du fichier
9782729887889 ISBN
Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par lalgorithmique, la preuve et la complexité.pdf

Technik

PC et Mac

Lisez l'eBook immédiatement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Digital Editions.

iOS & Android

Pour tablettes et smartphones: notre application de lecture tolino gratuite

eBook Reader

Téléchargez l'eBook directement sur le lecteur dans la boutique www.thecavycottage.com.au ou transférez-le avec le logiciel gratuit Sony READER FOR PC / Mac ou Adobe Digital Editions.

Reader

Après la synchronisation automatique, ouvrez le livre électronique sur le lecteur ou transférez-le manuellement sur votre appareil tolino à l'aide du logiciel gratuit Adobe Digital Editions.

Notes actuelles

avatar
Sofya Voigtuh

Les bases de la programmation en Caml. Ce premier chapitre introduit les principes de base du langage Caml et des langages fonctionnels en général. Le cours · Les transparents · La correction des exercices. Listes ... d'un algorithme. Preuve de terminaison, preuve de validité, évaluation de la complexité algorithmique. 31 janv. 2015 ... développement en programmation fonctionnelle allait donner naissance au fil ... programmes Caml à partir de preuves, et une interface graphique. ... formels de grande complexité, à l'aide d'un système Coq toujours relativement ... Exercice 3.3 La composée de deux fonctions f et g de type nat→nat est la.

avatar
Mattio Müllers

Programmation - page 13 - Decitre

avatar
Noels Schulzen

Programmation et langages, Algorithmique - Futura

avatar
Jason Leghmann

en Caml), expliquant votre démarche, pourquoi votre algorithme fonctionne, les ... Dans une première approche, on peut voir une exception comme une valeur que l'on ... Nous ne rentrerons pas dans les détails de la preuve d'un programme ... Il n'y a donc pas d'empilement, et la complexité spatiale d'une telle fonction est  ... découvre également l'informatique théorique, le génie logiciel et la preuve de programme. ... Nous avons un module de pédagogie qui ... pour le cours d' Algorithmique et de Programmation Fonctionnelle en L1. ... Projets en OCaml ... nous avons effectué une étude statistique de la complexité en temps et de la comparaison

avatar
Jessica Kolhmann

Exercices de programmation fonctionnelle en OCaml : Une approche pédagogique par l'algorithmique, la preuve et la complexité [Fabienne Carrier, Pascal Lafourcade, Laurent Mounier] on Amazon.com. *FREE* shipping on qualifying offers. L ouvrage aborde notamment les notions de correction, de complexité et d efficacité d un algorithme fonctionnel