Structure de données et types abstraits

Structure de données et types abstraits

  • ECTS

    6 crédits

  • Composante

    Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)

  • Volume horaire

    54h

Description

L’objectif de cette UE est de donner aux étudiants les base pour décrire complètement une donnée en fournissant d’abord une définition abstraite (spécification type abstrait) avant de proposer une implémentation (type concret) dont la correction sera vérifiée automatiquement.

Les thématiques abordées sont :

  • Notions de type abstrait de données,
  • Structures de type ensembliste : Set et bag, 
  • Structures de type linéaires : vecteur et Liste,
  • Structures de type arbre,
  • Structures de type graphe,
  • Structure de type correspondance.
Lire moins

Objectifs

À la fin de cette UE, vous serez capable de :

•  Analyser les propriétés des données et les formuler dans le cadre d'une spécification formelle,

• Interpréter une spécification formelle d'un type abstrait,

• Implémenter un type abstrait en un type concret et vérifier la correction de l'implémentation.

Lire moins

Heures d'enseignement

  • Structure de données et types abstraits - CMCours Magistral19,5h
  • TDTravaux Dirigés19,5h
  • Structure de données et types abstraits - TPTravaux Pratique15h

Pré-requis obligatoires

Algorithmique II – Technique de programmation - Programmation orientée –objet – Informatique Fondamentale II.

Lire moins

Contrôle des connaissances

100% Contrôle Continu Intégral. 

Le contrôle continu se base sur deux contrôles écrits de  1.5 h maximum et d’un projet.

Lire moins

Compétences acquises

Compétences

Niveau d'acquisition

Exploitation de données à des fins d’analyseAnalyser et synthétiser des données complexes en vue de leur exploitation informatique.2 - Application
Analyse d'un questionnement en mobilisant des concepts disciplinairesAnalyser et interpréter les résultats produits par l'exécution d'un programme: terminaison, test , complexité 1 - Notion
Mise en œuvre de méthodes et d'outils du champ disciplinaireSe servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation1 - Notion
Appliquer des approches raisonnées de résolution de problèmes complexes : modèle formel d'un problème, réduction et complétude de problèmes3 - Maitrise
Identification d'un questionnement au sein d'un champ disciplinaireChoisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné.3 - Maitrise