Eléments de programmation en Scheme
Cours et exemples d'application
Pascal Gribomont - Collection Sciences sup
Résumé
L'auteur a choisi une approche fonctionnelle. En mettant
l'accent sur la pratique de la programmation, il permet à
l'étudiant d'accéder rapidement à la résolution de
problèmes intéressants et variés, sans pour autant
sacrifier la compréhension des concepts fondamentaux.
Le choix du langage Scheme permet de se concentrer sur la résolution des problèmes via la définition de procédures. Des exemples d'application et des exercices corrigés de façon détaillée complètent le cours. L'étudiant apprend ainsi à programmer par l'exemple.
Sommaire
Introduction
- De la foction mathématique à la fonction
programmée
- La récursivité
- Structures de données
- Apprendrde à programmer avec Scheme
Les bases de Scheme
- Principes de l'interprète
- Les expressions
- La forme spéciale de fine
- Les symboles et leur double statut
- Les listes
- Booléens, prédicats, forme spéciale if
- La forme spéciale lambda
Règles d'évaluation
- Résumé des règles
- Mode d'application et environnements
- Portée des variables
- Procédures éval et apply
- Autres formes conditionnelles
Procédures récursives
- Préliminaires
- Récursivité et équations
- Quelques exemples
- Le double rôle define
- Le processus de calcul récursif
- Récursivité croisée
Récursivité structurelle
- Récursivité srructurelle sur le domaine des
naturels
- Les listes
- Récursivité superficielle des listes
- Récursivité profonde sur les listes et les arbres
- Remarques sur les schémas de programme
- Récursivité structurelle complète et mixte
- La séparation fonctionnelle
Conception de programme
- Première étude
- Deuxième étude
- Troisième étude
- Quatrième étude
Accumulateurs et processus itératifs
- Le principe de l'accumulateur
- Autres exemples numériques
- Accumulateurs et traitement de listes
- Conception de pprogramme, cinquième étude
- Simplification syntaxique d'une récursion
- Base fonctionnelle de l'accumulateur, style CPS
Expressions symboliques
- Arbres binaires
- Représentation en mémoire
- Notataion pointée et notation usuelle
- Représentation des listes
- Récursivité structurelle et expressions
symboliques
- Egalité, identité
Abstraction et blocs
- La forme spéciale let
- Portée
- La forme let*
- La forme spécaile letrec
- Schémas récursifs avec let
- Un exemple de structuraion
- Le problème des cavaliers
- Le problème des cruches
Abstraction - Données et algorithmes
- Abstraction sur les données
- Les graphes
- Le problème du sac à dos
- Le problème de la monnaie
- Ensembles : type abstrait et application
- Un exercice à propos des automates finis
Abstraction procédurale
- Le problème des huits reines
- Généralisation
- Arbre de recherche
- La technique du retour en arrière
Instruction altérantes et
vecteurs
- Introduction
- L'instruction d'affection
- Altération des structures
- Les vecteurs
- Tabulation
Annexes
- Vérification formelle des programmes
- Etude fonctionnelle de l'éfficacité des
programmes
- Compléments sur le langage Scheme
L'auteur - Pascal Gribomont
Pascal Gribomont est professeur d'informatique et intelligence artificielle a l'universite de Liege.
Autres livres de Pascal Gribomont
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Dunod |
Auteur(s) | Pascal Gribomont |
Collection | Sciences sup |
Parution | 01/09/2000 |
Nb. de pages | 284 |
Format | 17 x 24 |
Couverture | Broché |
Poids | 495g |
Intérieur | Noir et Blanc |
EAN13 | 9782100048892 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse