Cours-deug-Logique

èmeDEUG MIAS – 3 période — Informatique Cours Septembre 2004 p. 1/ 23Table des matières1 Administration 22 Rappels 32.1 Le langage Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.2 Récursivité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.3 Paires et Listes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.4 Fonctions d’orde supérieur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.5 Manipulation symbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Types Abstraits de Données 83.1 Ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83.2 Arbres Binaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103.2.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103.2.2 Quelques fonctions opérant sur le type ArbreBin . . . . . . . . . . . . . . . . . . . . . 113.2.3 Représentation en Scheme des AB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2.4 Arbres Binaires de Recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124 Objets mutables 134.1 Effets de bord – Rappels. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134.2 Représentation des objets en mémoire . . ...