Approche fonctionnelle de la programmation

Par : Michel Mauny, Guy Cousineau

Formats :

Définitivement indisponible
Cet article ne peut plus être commandé sur notre site (ouvrage épuisé ou plus commercialisé). Il se peut néanmoins que l'éditeur imprime une nouvelle édition de cet ouvrage à l'avenir. Nous vous invitons donc à revenir périodiquement sur notre site.
  • Nombre de pages428
  • PrésentationBroché
  • Poids0.78 kg
  • Dimensions17,6 cm × 24,0 cm × 2,5 cm
  • ISBN2-84074-114-8
  • EAN9782840741145
  • Date de parution01/07/2000
  • Collectioninformatique
  • ÉditeurEdiscience

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.
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.