الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'auteur
Auteur Michel Mauny |
Documents disponibles écrits par cet auteur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
Approche fonctionnelle de la programmation / Guy Cousineau
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 autreIndex. 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 autreIndex. 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.Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité CF2-000708 005-314.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001294 005-314.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001295 005-314.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001296 005-314.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible