Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Eléments de programmation en Scheme
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Eléments de programmation en Scheme

Eléments de programmation en Scheme

Cours et exemples d'application

Pascal Gribomont - Collection Sciences sup

284 pages, parution le 01/09/2000

Résumé

Cet ouvrage s'adresse aux étudiants des premier et second cycles d'informatique ainsi qu'aux élèves ingénieurs. Il intéressera également toute personne désireuse de s'initier à la programmation.

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription