Approche fonctionnelle de la programmation

Guy Cousineau, Michel Mauny

428 pages

Ajouter à une liste

Indisponible

Résumé

Les langages de programmation connaissent, depuis les débuts de l'informatique, une évolution continue dont le but est d'échapper aux particularismes des architectures matérielles en utilisant des structures plus abstraites proches de la logique et des mathématiques. L'écriture de programmes y trouve à la fois une grande simplicité et une grande rigueur et cette évolution permet de ne plus concevoir aujourd'hui l'enseignement de la programmation comme le simple apprentissage d'un ensemble de recettes.
Le langage CAML utilisé dans ce livre et, plus généralement, les langages fonctionnels, constituent l'une des tentatives les plus élaborées pour faire reposer l'activité de programmation sur des concepts mathématiques et logiques. Il permet de donner à l'enseignement de la programmation un aspect véritablement formateur et donc utile, quels que soient les langages que l'étudiant sera amené à pratiquer ailleurs. En outre, il permet de réaliser simplement des applications avancées de calcul symbolique auxquelles une partie du livre est consacrée.
Ce livre est issu d'un cours de programmation enseigné dans le magistère MMFAI de l'Ecole Normale Supérieure depuis 1991. Il s'adresse principalement aux étudiants de licence - maîtrise, de magistère ou d'école d'ingénieurs mais peut intéresser également les professeurs de mathématiques de lycée ou de classes préparatoires soucieux de donner à leurs élèves une illustration de leur discipline.

Sommaire

Principes de base.
Expressions.
Structures de données.
Sémantique.
Aspects impératifs.
Arithmétique exacte.
Termes formels, filtrage, unification.
Arbres équilibrés.
Graphes et résolution de problèmes.
Analyse syntaxique.
Géométrie et dessins.
Evaluation.
Compilation.
Typage

L'auteur - Guy Cousineau

Guy COUSINEAU, professeur a l'Universite Denis Diderot et a l'ENS, est directeur du laboratoire d'informatique de l'ENS.

L'auteur - Michel Mauny

Michel MAUNY, directeur de recherches a l'INRIA, est responsable scientifique du projet Cristal ou le langage CAML est developpe.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Ediscience
Auteur(s)	Guy Cousineau, Michel Mauny
Nb. de pages	428
EAN13	9782840741145
ISBN13	978-2-84074-114-5

Avantages Eyrolles.com

Livraison à partir de 0,01 € en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million et demi de livres disponibles

Nouveautés "Programmation fonctionnelle"

Coder proprement

Mini-manuel de programmation fonctionnelle

JFLA 09 - Actes des vingtièmes journées francophones des langages applicatifs

Programmation fonctionnelle appliquée aux calculs scientifiques - Tome 1