Prêtable
| Titre : | Programmation récursive (en scheme) |
| Auteurs : | Anne Brygoo ; Durand,Titou ; Maryse Pelletier |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Dunod, 2004 |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-007479-2 |
| Format : | VII-340 p. / couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.131 (Logique symbolique (Principes mathématiques des langages de programmation))) |
| Catégories : | |
| Mots-clés: | Logique mathématique ; Programmation récursive |
| Résumé : |
Le but de cet ouvrage est d'enseigner des fondements sur la programmation. Comme l'apprentissage d'un instrument de musique est incourtournable pour un futur musicien, celui d'un langage de programmation l'est pour un futur informaticien. C'est le langage Scheme qui a été choisi ici, mais les principes énoncés sont transposables dans de nombreux autres langages. La programmation récursive est au coeur de ce livre : ce mécanisme essentiel permet de maîtiser la répétition des opérations dans un programme. Les cinq premiers chapitres portent sur l'apprentissage de Scheme et de quelques principes de programmation. Les chapitres 6 à 10 s'éloignent du langage pour aborder les structures de données et les grammaires. Cet ouvrage comporte 46 exercices et problèmes, tous corrigés. Il est accompagné de compléments en ligne : un environnement de programmation appelé Docteur Scheme et une bibliothèque de fonctions.
|
| Note de contenu : |
Sommaire :
Chapitre 1: Noyau de Scheme Chapitre 2: Art et usage des spécifications Chapitre 3: Récursion Chapitre 4: Structure de liste Chapitre 5: Fonctionnelle Chapitre 6: Modèle par substitution Chapitre 7: Structuration des données Chapitre 8: Structures arborescentes Chapitre 9: Du bon usage des grammaires Chapitre 10: Evaluateur Chapitre 11: Carte de référence |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/1511 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
