Approche fonctionnelle de la programmation / Guy, Cousineau / Michel, Mauny [ Livre]

Auteur principal: Cousineau, GuyCo-auteur: Mauny, MichelLangue: Français ; de l'oeuvre originale, Français.Publication : Paris : Ediscience international, 1995Description : XIII-428 pages ; 24 cmISBN: 2840741148.Collection: Collection Informatique, 0989-392XClassification: D ProgrammationRé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.Sujet - Nom commun: Programmation fonctionnelle (informatique) | Programmation | Ordinateurs -- Programmation | Langages de programmation fonctionnelle | Caml (langage de programmation)
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
D COU (Browse shelf) Available D Programmation 00007250
ENS Rennes - Bibliothèque
Informatique
D COU (Browse shelf) Exclu du prêt D Programmation 000072501
ENS Rennes - Bibliothèque
Informatique
D COU (Browse shelf) Checked out D Programmation 26/11/2019 000072502

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

Powered by Koha