Esisar rubrique Formation 2022

Structures de données et programmation récursive - 2AMCS212

  • Volumes horaires

    • CM 9.0
    • Projet -
    • TD 9.0
    • Stage -
    • TP 9.0
    • DS -

    Crédits ECTS

    Crédits ECTS 2.0

Objectif(s)

Etre capable de:

  • manipuler des structures de données complexes (listes chaînées, arbres);
  • mettre au point une routine récursive sur une structure de donnée complexe;
  • programmer dans le langage fonctionnel statiquement typé Haskell.

Responsable(s)

Yann KIEFFER

Contenu(s)

  • Expressions; évaluation dans la boucle d'interaction 'toplevel';
  • Types de base; types élaborés prédéfinis (listes, ...);
  • Définition de fonctions récursives;
  • Définition de types: types énumérés, types produits, types sommes;
  • Mécanisme de classes;
  • Applications à la réalisation de structures de données complexes;
  • Gestion des effets de bord: le cas des entrées/sorties.

Prérequis

  • Notion de fonction (au sens mathématique)
  • Rudiments d'algorithmique et de structures de données

Contrôle des connaissances

E1: Épreuve écrite : Examen d'une durée de 1h30, documents et calculatrice autorisés
TP: Note de TPs

En cas d'impossibilité d'épreuve dans les locaux de l'école:
O1: Examen de session 1: épreuve orale de 5 min en visioconférence avec partage de documents, avec comme support le rendu d'un devoir à la maison dont le sujet est transmis 14 jours auparavant.

Calendrier

Le cours est programmé dans ces filières :

cf. l'emploi du temps 2021/2022

Informations complémentaires

Code de l'enseignement : 2AMCS212
Langue(s) d'enseignement : FR

Le cours est rattaché aux structures d'enseignement suivantes :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Bibliographie

Real World Haskell, Bryan O'Sullivan, John Goerzen & Don Stewart, O'Reilly (Ed).
Purely Functional Data Structures, Chris Okasaki, Cambridge University Press.