1-Fiche descriptive

1) Pré-requis

Aucun

2) Description/Compétences acquises

L'objectif principal est,d'une part l'apprentissage des techniques de construction deprogramme par analyse descendante structurée et algorithmiquefonctionnelle récursive, avec techniques de preuve de correction etterminaison et de calcul de complexité associées, et d'autre partla présentation d'algorithmes sur les structures de donnéeslinéaires et arborescentes. Cet apprentissage exploite laprogrammation fonctionnelle pure en langage CaML. Cette unitédonnera lieu à un projet.


Notions acquises :Expression, Définition locale et globale, Typage polymorphe,Conditionnelle, Appel de fonction, Définition récursive, Fonctiond'ordre supérieur, Filtrage, n-uplet, Terme algébrique, Module,Interface, Implantation, Gestion des exceptions, Analyse guidée parles algorithmes, Analyse récursive, Calcul de complexité dans lecas récursif, Structure de pile et de liste, Algorithme de tri,Structure d'arbre, Arbre binaire de recherche, Arbre équilibré,Représentation des ensembles (construction, exploitation),Algorithme combinatoire.

3) Liste des matières

Non renseignée

3 - Responsables

  • Gergaud Joseph
  • Thirioux Xavier