الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

Titre :	Approche fonctionnelle de la programmation
Type de document :	texte imprimé
Auteurs :	Guy Cousineau, Auteur ; Michel Mauny, Auteur
Editeur :	Paris : Ediscience international
Année de publication :	1995
Collection :	Informatique (Paris. 1987), ISSN 0989-392X
Importance :	XIII-428 p.
Présentation :	ill., couv. ill. en coul.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-84074-114-5
Prix :	200 F
Note générale :	Bibliogr. p. 421-423. Index
Langues :	Français (fre)
Mots-clés :	e 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 par 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'École Normale Supérieure depuis 1991. Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre
Index. décimale :	005.1
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.

Approche fonctionnelle de la programmation [texte imprimé] / Guy Cousineau, Auteur ; Michel Mauny, Auteur . - Paris : Ediscience international, 1995 . - XIII-428 p. : ill., couv. ill. en coul. ; 24 cm. - (Informatique (Paris. 1987), ISSN 0989-392X) .
ISBN : 978-2-84074-114-5 : 200 F
Bibliogr. p. 421-423. Index
Langues : Français (fre)

Mots-clés :	e 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 par 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'École Normale Supérieure depuis 1991. Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre
Index. décimale :	005.1
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.