| Licence S&T |
|
Janvier 2004-Juin 2004 |
Objectifs
Dernière mise à jour : 15 janvier 2004
- Savoir séparer, lors de la résolution d'un problème, les phases d'analyse d'un problème informatique, de spécification, de réalisation et de tests.
- Acquérir de bons réflexes d'analyse : analyse descendante, analyse par cas, analyse récursive.
- Approfondir les notions de type et de fonction.
- Comprendre l'utilité d'avoir des modèles de solutions réutilisables.
- Savoir raisonner sur une vue abstraite des structures de séquence et d'arbre.
- Savoir exploiter les règles sémantiques d'un langage lors de la validation de solutions.
- Comprendre les notions associés aux fonctions d'ordre supérieur et
savoir les utiliser pour réaliser des modèles de programmes.
- Différencier l'expression d'une solution abstraite de sa réalisation dans un environnement informatique particulier.
- Maîtriser le passage d'une solution abstraite à une implantation dans un langage de programmation donné
(CAML).
- Comprendre l'utilité d'un environnement de programmation.
- Types et valeurs ; expressions, fonctions, calcul du type d'une expression ; spécification versus réalisation d'une fonction.
- Composition fonctionnelle et analyse descendante ; composition conditionnelle et analyse par cas.
- Structure des informations et constructeurs de types : produit de types, séquences, arbres.
- Définitions récursives de types et de fonctions ; analyse récurrente, schémas d'analyse.
- Programmation: passage d'une notation algorithme à un langage de programmation particulier
(CAML) ; exploitation des informations fournies par
l'interprète du langage (messages d'erreurs, calcul de types) ; introduction à la problématique de test et à la mise au point des programmes via
l'observation de traces d'exécution.
- Fonctions d'ordre supérieur.
