DokuWiki

This is an old revision of the document!

---

1. Le noyau impératif
   1. Cinq constructions
      1. L'affectation
      2. La déclaration de variable
      3. La séquence
      4. Le test
      5. La boucle
   2. Les instructions d'entrée et de sortie
      1. La notion d'état
      2. La décomposition de l'état
      3. Lareprésentation graphique de l'état
      4. La valeur des expressions
      5. L'exécution des instructions
   3. La sémantique du noyau fonctionnel
      1. La notion d'état
      2. La décomposition de l'état
      3. La représentation graphique de l'état
      4. La valeur des expressions
      5. L'exécution des instructions
2. Les fonctions
   1. la notion de fonction
      1. éviter les redondances
      2. Le passage d'arguments
      3. Le retour de valeur
      4. La construction return
      5. Les fonctions et les procédures
      6. Les variables globales
      7. Le programme principal
      8. Les variables globales cachées par les variables locales
      9. La surcharge
   2. La sémantique des fonctions
      1. La valeur des expressions
      2. L'exécution des instructions
      3. L'ordre d'évaluation
      4. Caml
      5. C
   3. Les expressions comme instruction
   4. Le passage d'argument par valeur et par référence
      1. Pascal
      2. Caml
      3. C
      4. Java
3. La récursivité
   1. Appeler une fonction dans le corps de la fonction
   2. Les définitions récursives
      1. Les définitions récursives et les définitions par récurrence
      2. Les définitions récursives et les définitions circulaire
      3. Les définitions récursives et les programmes infinis
      4. Les définitions récursives et les équations au point fixe
   3. CAML
   4. C
   5. Programmer sans affectation
4. Les enregistrements
   1. Les n-uplets à champs nommés
      1. La définition d'un type enregistrement
      2. L'allocation d'un enregistrement
      3. L'accès aux champs
      4. L'affectation des champs
      5. Les constructeurs
      6. La sémantique des enregistrements
   2. Le partage
      1. Le partage
      2. L'égalité
      3. Les types enveloppés
   3. Caml
      1. La définition d'un type enregistrement
      2. La construction d'un enregistrement
      3. L'accès aux champs
      4. L'affectation des champs
   4. C
      1. La définition d'un type enregistrement
      2. La construction d'un enregistrement
      3. L'accès aux champs
      4. L'affectation des champs
   5. Les tableaux
      1. Les types tableaux
      2. L'allocation d'un tableau
      3. L'accès aux champs et l'affectation des champs
      4. Les tableaux de tableaux
      5. Les tableaux en Caml
      6. Les tableaux en C
5. Les types de données dynamiques
   1. Les types enregistrements récursifs
      1. Les listes
      2. La valeur null
      3. Un exemple
      4. Les définitions récursives et ls équations au point fixe
      5. Les valeurs infinies
   2. Les types disjonctifs
   3. Les types de données dynamiques et la calculabilité
   4. Caml
   5. C
   6. Le glanage des cellules
      1. Des cellules inaccessibles
      2. Programmer sans glaneur de cellules
      3. Les méthodes globales pour le glanage de cellules
      4. Le glanage de cellules et les fonctions
6. Programmer avec des listes
   1. Les ensembles finis et les fonctions de domaine fini
      1. L'appartenance
      2. Les listes d'associations
   2. modifier ou copier
      1. Modifier
      2. Copier
      3. L'utilisation de la récursivité
      4. Les réactions chimiques et les fonctions mathématiques
   3. un argument de plus
   4. Les listes et les tableaux
   5. Les piles et les files
      1. Les piles
      2. Les files
      3. Les files de priorité
7. Les exceptions
   1. Des situations exceptionnelles
   2. Les exceptions
   3. Récupérer les exceptions
   4. La propagation des exceptions
   5. Les messages d'erreur
   6. La sémantique des exceptions
   7. Caml
8. Les objets
   1. Les classes
      1. Les fonctions qui font partie du type
      2. La sémantique des classes
   2. Les méthodes dynamiques
   3. Les méthodes et les champs fonctionnels
   4. Les champs statiques
   5. Les classe entièrement statiques
   6. L'héritage
   7. Caml
9. Programmer avec des arbres
   1. Les arbres
   2. Le parcours d'un arbre
      1. En profondeur d'abord
      2. En largeur d'abord
   3. Les arbres de recherche
      1. L'appartenance
      2. Les arbres équilibrés
      3. Les dictionnaires
   4. Les files de priorité
      1. Les arbres partiellement ordonnées
      2. Les arbres partiellement ordonnées "quilibrés"