undrgrnd Cliquez ici RentreeLitteraire nav-sa-clothing-shoes nav_WSHT16 Cliquez ici Acheter Fire Cliquez ici cliquez_ici Cloud Drive Photos Bijoux en or rose

Commentaires client

5,0 sur 5 étoiles
1
5,0 sur 5 étoiles
5 étoiles
1
4 étoiles
0
3 étoiles
0
2 étoiles
0
1 étoile
0

Votre évaluation :(Effacer)Evaluez cet article
Partagez votre opinion avec les autres clients

Un problème s'est produit lors du filtrage des commentaires. Veuillez réessayer ultérieurement.

le 30 juin 2010
Ce livre est le parfait compagnon pour quiconque a eu un premier
contact (même léger) avec la programmation fonctionnelle, les bases de
données, la programmation impérative et un brin de théorie des
langages.

150 pages de programmation fonctionnelle, 70 page de programmation
relationnelle (bases de données), 100 pages de programmation
impérative et 60 pages de théorie des langages. Le tout du meilleur
tonneau et accompagné d'un grand nombre d'exemples commentés. Par
exemple commentés, entendez :

1) énoncez du problème
2) analyse
3) spécification
4) implémentation.

J'ajoute que les exemples en plus de correspondre tous parfaitement
aux points qu'ils sont sensés illustrer sont tellement bien choisis et
tellement bien commentés que leur compréhension est immédiate.

J'avais donc envie de dire que les exemples commentés de la sorte
étaient le point fort de ce livre, mais son exhaustivité (cf.le
sommaire ci-dessous) jointe à la clarté des explications (concises
sans être absconses) est toute aussi attrayante. Vous avez bien lu,
exhaustif, concis et clair à la fois. Je ne pensais pas que c'était
possible, mais c'est le tour de force qu'on réussi les auteurs.

Une remarque sur la partie impérative, une des premières choses que
les auteurs introduisent (et qui n'apparait pas dans le sommaire) sont
les assertions. Les assertions permettent de spécifier une action en
terme d'une précondition et d'une postcondition. Les assertions sont
tout ce dont le programmeur à besoin pour écrire plus facilement ses
programmes, les commenter intelligemment et ainsi les rendre plus
clair. Ceci bénéficiera donc à tous les programmeurs impératifs
quelque soit le langage qu'ils utilisent (Java, C++, C#, VB, etc.).

Une remarque sur le choix du langage choisi pour illustrer la partie
consacrée à la programmation fonctionnelle. Je ne m'explique pas
l'utilisation de Scheme pour deux raisons. Premièrement, comme
expliqué ci-dessus, les exemples sont présentés en quatre étapes, or
la partie spécification est quasiement mot pour mot un programme dans
un langage de la famille ML (SML, Caml ou Ocaml) ou en Haskell
(moyennant une traduction du français à l'anglais et quelques
adaptations mineures). Donc, pourquoi Scheme, langage que je trouve de
surcroit infiniment moins lisible que les autres langages
fonctionnelle. Deuxièment, les auteurs semblent accorder une
importance particulière au typage, en effet, il insiste sur le fait
qu'il faut typer adéquatement pour s'adapter à la sémantique du
problème à résoudre. Alors pourquoi ne pas utiliser un langage
fortement typé, et typé statiquement comme ML qui de ce fait semble
mieux correspondre aux principes que les auteurs souhaitent inculquer
au lecteur. Je me demande quel langage les auteurs utiliseraient pour
une nouvelle édition de ce merveilleux livre.

Pour conclure je dirais que ce livre répond parfaitement à la
reformulation par Einstein du principe du razoir d'Occam (certes il
s'agissait de physique théorique mais je trouve que cela vaut toutes
les "pédagogies" du monde)

"Make everything as simple as possible, but not simpler", Albert
Einstein

PS - Pour l'instant je n'ai lu que la partie programmation
fonctionnelle mais cette partie du livre m'a tellement enthousiasmée
que j'en ai rédigé ce commentaire. Je le complèterai au fur et à
mesure de mon avancement dans le livre.

-- Sommaire --

EXPRESSION FONCTIONNELLE
Valeurs, expressions, fonctions
Types construits
Définitions récursives
Séquences : schémas d'analyse
Le type arbre, une introduction
Ordre supérieur

EXPRESSION RELATIONNELLE
Ensembles et relations
Notation relationnelle
Expérimenter en SQL

EXPRESSION ACTIONNELLE
Langage des actions
Actions récursives
Séquences et tableaux
Analyse itérative

A PROPOS DE LANGAGE
Les langages, objets d'étude
Langages et grammaire
Etude de cas

-- Quatrième de couverture --

Issu de plusieurs années d'enseignement, ce cours apporte des bases
scientifiques et techniques en informatique, nécessaires à toute
formation scientifique et peut être utilisé en DEUG, DUT, DUP, licence
d'informatique, première année de MIAGE et de MST en informatique,
diplômes universitaires de 2e cycle en mathématiques et en sciences de
la Matière, formations d'ingénieurs et de formateurs...

Insistant sur la démarche scientifique à mettre en oeuvre, ce manuel
traite des principes d'analyse, des modes de raisonnement et des
structures informatiques pour la spécification des logiciels,
l'organisation des données et le contrôle de l'exécution. Trois
niveaux de langages (fonctionnel, relationnel, et, actionnel) sont
exposés et pratiqués. L'algorithmique est vue comme l'art de s'imposer
une attitude méthodique dans la construction des programmes.

Le livre regroupe des sujets fondamentaux traditionnellement séparés
dans des ouvrages traitant de l'algorithmique, de la programmation,
des bases de données ou des langages.

Il est organisé en quatre thèmes. Le premier, l'expression
fonctionnelle, expose la démarche d'analyse des types et des
fonctions, notamment récursifs. Le deuxième, expression relationnelle,
illustre la relation entre la nature des problèmes traités, le niveau
d'abstraction auquel on se place, et les moyens d'expression
employés. C'est une ouverture sur le domaine des bases de données. Le
troisième, expression actionnelle, traite des techniques d'expression
du contrôle séquentiel de l'exécution et de la représentation des
informations. Le dernier est centré sur les langages en tant
qu'objets d'étude.

Le texte, illustré par de nombreuses figures et une grande variété
d'exemples commentés, comporte en outre environ 220 exercices et
problèmes ainsi que 70 scénarios d'expérimentation sur machine qui
permettent au lecteur un travail autonome.
0Commentaire| Une personne a trouvé cela utile. Ce commentaire vous a-t-il été utile ?OuiNonSignaler un abus
Avez-vous besoin du service clients? Cliquez ici

Liens Sponsorisés

  (De quoi s'agit-il?)