Sujet | Lecture (Voir "Manuels de cours" et "Références supplémentaires" ci-dessus) |
---|---|
Introduction aux paradigmes de programmation | Obligatoire: chapitre 13, Gabbrielli et Martini Optionnel: l'article "Programming Paradigms for Dummies" |
Prolog: introduction | Obligatoire: Programming in Prolog, chapitre 1 |
Prolog: la syntaxe et les listes | Obligatoire: Programming in Prolog chapitre 2 chapitre 3, sections 3.2, 3.3 |
Prolog: les listes (suite), les structures, and la récursion | Obligatoire: Programming in Prolog chapitre 3, sections 3.4, 3.5, 3.6 |
Prolog: Les bases de données | |
Prolog: Entrée/Sortie (I/O) | Obligatoire: Programming in Prolog chapitre 5, section 5.1 |
Prolog: les arbres | |
Prolog: Les bases de données (suite) | |
Prolog: La coupure | Obligatoire: Programming in Prolog chapitre 4, sections 4.1, 4.2, 4.3, 4.4 |
tutoriel sur la relation entre la logique et Prolog, enseigné par l'assistant à l'enseigement | |
tutoriel sur les listes, enseigné par l'assistant à l'enseigement | |
Prolog: La coupure (suite) et les prédicats prédefinis | Obligatoire: Programming in Prolog chapitre 6, sections 6.1, 6.2, 6.3, 6.4, 6.5 |
Prolog: Les grammaires et l'analyse syntaxique | Obligatoire: Programming in Prolog chapitre 9, sections 9.1, 9.2, 9.3, 9.4, 9.5, 9.6 |
Les paradigmes (suite) | Optionnel: chapitre 1, Tucker and Noonan |
Scheme: Introduction | Obligatoire: The Scheme Programming Language chapitre 1 |
Scheme: les expressions, l'évaluation, l'arithmétique, les listes, les expressions conditionnelles, la récursion simple | Obligatoire: The Scheme Programming Language chapitre 2, sections 2.1 à 2.8 |
Scheme: Entrée/Sortie (I/O), l'affectation, les vecteurs, les arbres | Obligatoire: The Scheme Programming Language chapitre 2, section 2.9 (jusqu'au page 53) chapitre 3, section 3.2 chapitre 4, sections 4.1, 4.2, 4.4, 4.7 chapitre 6, section 6.9 chapitre 7, pages 284-285 |
Scheme: Fonctions comme valeurs | |
Scheme: un interpréteur | |
Programmation orientées contraintes | Optionnel: Gabbrielli and Martini, chapitre 12, section 12.5.3 |
Programmation concurrente | Optionnel: Tucker and Noonan, chapitre 17, section 17.1 |