Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par lalgorithmique, la preuve et la complexité
Fabienne CarrierCe 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
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.
Marketplace
Notes actuelles
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.
Programmation - page 13 - Decitre
Programmation et langages, Algorithmique - Futura
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
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