FSAB Suggestions de lecture

Transcription

1 FSAB Suggestions de lecture 2006 Concepts, techniques and models of computer programming Cours 1 - Intro Chapitre 1 (sections 1.1, 1.2, 1.3, pages 1-3) Introduction aux concepts de base Chapitre 2 (intro et section 2.1, pages 29-36) Définition des langages de programmation La section introduit la sémantique: on la verra plus tard! Chapitre 2 (section 2.3, pages 49-55) Langage de base: le langage noyau Chapitre 2 (section 2.4.1, pages 56-60) Concepts de base (identificateurs, variables, environnement, portée, fonctions et procédures). Cours 2 - Récursion sur les entiers Chapitre 1 (sections , pages 2-10) Fonctions, listes, exactitude Chapitre 2 (section 2.1.1, pages 31-36) Syntaxe des langages Chapitre 2 (section 2.3, 2.4.1, pages 49-60) Le langage noyau du modèle déclaratif Une introduction aux types de base Procédures et références externes Chapitre 3 (section 3.2, 3.3, 3.4.1, , pages ) Calcul itératif Calcul récursif Introduction à la notation pour les types et aux listes Sauf section qui sera vue plus tard avec la sémantique Cours 3 - Récursion sur les listes Chapitre 1 (sections 1.4 et 1.5, pages 4-8): Listes et fonctions sur les listes Chapitre 2 (section 2.3, pages 49-55): Langage noyau du modèle déclaratif Chapitre 2 (section 2.6, pages 79-89): Traduction d un programme en langage noyau Chapitre 3 (section 3.4.1, pages ): Notation des types Chapitre 3 (section 3.4.2, pages ): Programmer avec les listes

2 Cours 4 - Complexité calculatoire Chapitre 1 (section 1.7, pages 10-11) : Complexité Chapitre 3 (section 3.5, pages ) : Efficacité en temps et en espace Cours 5 - Algorithmes sur les listes Chapitre 1 (sections , pages 4-10): Listes et fonctions sur les listes, fonctions correctes Chapitre 3 (section 3.4.1, pages ): Notation des types Chapitre 3 (section 3.4.2, pages ): Programmer avec les listes Chapitre 3 (section 3.4.3, pages ): Les accumulateurs Cours 6 - Enregistrements et arbres Chapitre 2 (section 2.3, pages 49-56): Langage noyau et les types de base (tuples, enregistrements) Chapitre 3 (sections 3.4.6, pages ): Arbres binaires ordonnés Chapitre 2 (section 2.4, pages 56-72, en partie): Sémantique et machine abstraite Cours 7 - Sémantique Chapitre 1 (section 1.6): L exactitude d un programme Chapitre 2, (section 2.2): Mémoire à affectation unique Chapitre 2, (section 2.3): Langage noyau Chapitre 2, (section 2.4): Sémantique du langage noyau Chapitre 2, (section 2.6): Du langage noyau au langage pratique Cours 8 - L état et l abstraction des données Chapitre 2 (section 2.4, pages 56-72): Sémantique Chapitre 2 (section 2.5.1, pages 72-74): Récursion terminale et gestion de mémoire Chapitre 2 (section 2.6, pages 79-90): Traduction vers langage noyau Chapitre 1 (sections , pages 16-18):

3 État et objets Chapitre 3 (section 3.7.1, pages ): Type abstrait (exemple de pile) Chapitre 6 (sections 6.1, 6.2, 6.3, 6.4.1, 6.4.2, pages ): État et abstraction de données Cours 9 - Programmer avec l état Chapitre 6 (section pages ): Collections indexées Chapitre 6 (section pages ): Fermeture transitive sur graphe orienté Cours 10 - Objets, classes, polymorphisme et héritage Chapitre 6 (section 6.4.3, pages ): Le polymorphisme Chapitre 7 (section 7.1, pages ): L héritage, idées de base et motivation Chapitre 7 (sections , pages ): La classe Chapitre 7 (sections , pages ): La classe et l héritage Chapitre 7 (section 7.4.1, pages ): Le principe de substitution Chapitre 7 (section 7.4.4, pages ): L héritage Multiple Cours 11 - Le langage Java et les exceptions Chapitre 6 (section 6.4.4, pages ): Le passage de paramètres Chapitre 7 (section 7.3.3, pages ): Règles de visibilité (contrôle de l encapsulation) Chapitre 7 (section 7.7, pages ): Le langage Java Chapitre 2 (section 2.7, pages 90-96): Les Exceptions Cours 12 - Concurrence et systèmes multi-agents Chapitre 1 (sections 1.10, 1.11, 1.15, pages 14-16, 20-21) Concurrence, dataflow, nondéterminisme Chapitre 4 (sections , pages ) Threads, dataflow Chapitre 4 (sections 4.3.1, 4.3.2, pages ) Agents, flots, pipelines

4 2007 Programmation : Concepts, techniques et modèles Cours 1 - Intro Chapitre 1 (sections 1.1, 1.2, 1.3) Introduction aux concepts de base Chapitre 2 (intro et section 2.1) Définition des langages de programmation La section introduit la sémantique: on la verra en détail plus tard! Chapitre 2 (sections 2.2 et 2.3) Le langage noyau et la mémoire à affectation unique Chapitre 2 (section 2.4.1) Concepts de base (identificateurs, variables, environnement, portée, fonctions et procédures) Cours 2 - Récursion sur les entiers Chapitre 1 (sections ) Fonctions, listes, exactitude Chapitre 2 (section 2.1.1) Syntaxe des langages Chapitre 2 (sections 2.3 et 2.4.1) Le langage noyau du modèle déclaratif Une introduction aux types de base Procédures et références externes Chapitre 3 (sections 3.2, 3.3, 3.4.1) Calcul itératif Calcul récursif Sauf section qui sera vue plus tard avec la sémantique Introduction aux listes et à la notation pour les types Cours 3 - Récursion sur les listes Chapitre 1 (sections 1.4 et 1.5): Listes et fonctions sur les listes Chapitre 2 (section 2.3): Langage noyau du modèle déclaratif Chapitre 2 (section 2.6): Traduction d un programme en langage noyau Chapitre 3 (section 3.4.1): Notation des types Chapitre 3 (section 3.4.2): Programmer avec les listes

5 Cours 4 - Complexité calculatoire Chapitre 1 (section 1.7) La complexité calculatoire Chapitre 3 (section 3.6) L efficacité en temps et en espace Cours 5 - Algorithmes sur les listes Cours annulé, voir Cours 5 - Enregistrements et arbres Chapitre 2 (section 2.3) Langage noyau et les types de base (tuples, enregistrements) Chapitre 3 (section 3.4.4) Arbres binaires ordonnés Chapitre 2 (sections 1.6 et 2.4) Sémantique et machine abstraite Cours 6 - Sémantique Chapitre 1 (section 1.6): L exactitude Chapitre 2 (sections 2.2, 2.3, 2.4, 2.6): La mémoire à affectation unique Le langage noyau déclaratif La sémantique du langage noyau Du langage noyau au langage pratique Cours 7 - L état et l abstraction des données Chapitre 2 (sections 2.4, 2.5, 26): Sémantique Récursion terminale et gestion de mémoire Traduction vers le langage noyau Chapitre 1 (sections 1.11, 1.12): État et objets Chapitre 4 (section 4.4): État et modularité Chapitre 3 (section 3.5): Type abstrait (exemple de pile) Chapitre 5 (sections 5.1, 5.2, 5.3, 5.4.1, 5.4.2): État et abstraction de données Cours 8 - Programmer avec des types abstraits Chapitre 3 (section 3.5) Les types abstraits Chapitre 5 (sections 5.4 et 5.7) L abstraction de données

6 Cours 9 - Objets, classes, polymorphisme et héritage Chapitre 1 (sections ): Objets et classes Chapitre 5 (section 5.5): Le polymorphisme Chapitre 6 (section 6.1): L héritage, idées de base et motivation Chapitre 6 (sections 6.2): La classe Chapitre 6 (sections ): La classe et l héritage Chapitre 6 (section 6.4.1): Le principe de substitution Chapitre 6 (sections ): L héritage multiple Cours 10 - Le langage Java et les exceptions Chapitre 5 (section 5.4.3): Le passage de paramètres Chapitre 6 (section 6.3.4) Les règles de visibilité (contrôle de l encapsulation) Chapitre 6 (section 6.5) Le langage Java Chapitre 2 (section 2.7) Les exceptions Cours 11 - Concurrence et systèmes multi-agents Chapitre 4 (introduction et section 4.1) Les fils, leur sémantique Chapitre 4 (section 4.2) Programmer avec les fils Chapitre 4 (sections 4.3) Agents, flots, pipelines Cours 12 - Concurrence déclarative et résumé Chapitre 4 (section 4.2) Programmer avec les fils Chapitre 4 (section 4.3) Agents, flots, pipelines Chapitre 2 (section 2.6) Du langage noyau au langage pratique