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.
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.
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.
Contrôle des connaissances
1ère session : 100% Contrôle Continu écrit
Le contrôle continu se base sur deux contrôles écrits de 1.5 h maximum et d’un projet.
2ème session : 100% examen terminal écrit.
Compétences acquises
Compétences | Niveau d'acquisition | |
|---|---|---|
| Exploitation de données à des fins d’analyse | Analyser et synthétiser des données complexes en vue de leur exploitation informatique. | 2 - Application |
| Analyse d'un questionnement en mobilisant des concepts disciplinaires | Analyser 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 disciplinaire | Se servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation | 1 - 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èmes | 3 - Maitrise | |
| Identification d'un questionnement au sein d'un champ disciplinaire | Choisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné. | 3 - Maitrise |
