|
| Titre : | Apprentissage de la programmation avec Ocaml | | Type de document : | texte imprime | | Auteurs : | Catherin Dubois, Auteur ; Ménissier-Morain, Valérie, Auteur | | Editeur : | Paris : Lavoisier | | Année de publication : | 2004 | | Importance : | 441p. | | Présentation : | ill. | | Format : | 24cm | | ISBN/ISSN/EAN : | 978-2-7462-0819-3 | | Note générale : | Bibliogr.Index | | Langues : | Français | | Catégories : | Langage de programmation
| | Mots-clés : | OCaml (langage de programmation) | | Index. décimale : | 005.133 Langages de programmation spécifiques | | Résumé : |
L'apprentissage de la programmation permet de maîtriser les trois points forts d'un ordinateur, c'est-à -dire : une mémoire très grande et ordonnée, une capacité à effectuer inlassablement des tâches répétitives et surtout une grande rapidité de calcul. Pour pouvoir écrire des programmes corrects et répondant au besoin énoncé, il est indispensable de connaître la sémantique précise du langage. Cet ouvrage est destiné à des débutants en informatique, plus précisément en programmation. Il est également un support pédagogique pour tout programmeur désireux d'aborder le style fonctionnel, le style ML. Les notions retenues sont disponibles dans tout dialecte de ML, en particulier Caml-Light, OCaml ou Standard ML). La plupart des concepts mis en oeuvre dans cet ouvrage, et illustrés en OCaml, peuvent se transposer aisément à d'autres langages de programmation. | | Note de contenu : |
Introduction.
Éléments de programmation.
Introduction à OCaml.
Fonctions.
Fonctions récursives.
Listes.
Types produits (paires et n-uplets).
Types enregistrements.
Types sommes.
Types récursifs.
Introduction à l'ordre supérieur.
Données mutables.
Exceptions.
Introduction à la modularité.
Choix des structures de données.
Quelques développements complets.
Alignement de séquences ADN.
Vérification de formules logiques.
Un exemple graphique : le jeu COURT-CIRCUIT.
Index. | | Permalink : | ./index.php?lvl=notice_display&id=14308 |
Apprentissage de la programmation avec Ocaml [texte imprime] / Catherin Dubois, Auteur ; Ménissier-Morain, Valérie, Auteur . - Paris : Lavoisier, 2004 . - 441p. : ill. ; 24cm. ISBN : 978-2-7462-0819-3 Bibliogr.Index Langues : Français | Catégories : | Langage de programmation
| | Mots-clés : | OCaml (langage de programmation) | | Index. décimale : | 005.133 Langages de programmation spécifiques | | Résumé : |
L'apprentissage de la programmation permet de maîtriser les trois points forts d'un ordinateur, c'est-à -dire : une mémoire très grande et ordonnée, une capacité à effectuer inlassablement des tâches répétitives et surtout une grande rapidité de calcul. Pour pouvoir écrire des programmes corrects et répondant au besoin énoncé, il est indispensable de connaître la sémantique précise du langage. Cet ouvrage est destiné à des débutants en informatique, plus précisément en programmation. Il est également un support pédagogique pour tout programmeur désireux d'aborder le style fonctionnel, le style ML. Les notions retenues sont disponibles dans tout dialecte de ML, en particulier Caml-Light, OCaml ou Standard ML). La plupart des concepts mis en oeuvre dans cet ouvrage, et illustrés en OCaml, peuvent se transposer aisément à d'autres langages de programmation. | | Note de contenu : |
Introduction.
Éléments de programmation.
Introduction à OCaml.
Fonctions.
Fonctions récursives.
Listes.
Types produits (paires et n-uplets).
Types enregistrements.
Types sommes.
Types récursifs.
Introduction à l'ordre supérieur.
Données mutables.
Exceptions.
Introduction à la modularité.
Choix des structures de données.
Quelques développements complets.
Alignement de séquences ADN.
Vérification de formules logiques.
Un exemple graphique : le jeu COURT-CIRCUIT.
Index. | | Permalink : | ./index.php?lvl=notice_display&id=14308 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesApprentissage de la programmation avec Ocaml / Catherin Dubois (2004)
