Флашкарти: Introduction aux Types de Données Abstraits — 20 карти

TDA — définition ?

Spécification d’un type de données sans implémentation.

TD — rôle ?

Représente un type de données concret avec valeurs.

SD — fonction ?

Implémente un TD en organisant le stockage mémoire.

Pointeurs — localisation ?

Contiennent l’adresse d’une autre cellule mémoire.

Références — rôle ?

Accès à un objet sans manipuler son adresse.

Formalisation — étape clé ?

Transformer l’énoncé en spécification exploitable.

Spécification — description ?

Décrit précisément ce que doit faire le système.

Traduction en langage — étape ?

Exprimer la solution sous forme de code.

Algorithme — définition ?

Suite d’instructions séquentielles pour traiter.

Programme — différence ?

Algorithme traduit dans un langage exécutable.

Type de données abstrait — description ?

Spécification centrée sur opérations et leur sens.

Description fonctionnelle — contenu ?

Signatures d’opérations avec noms et types.

Description axiomatique — but ?

Donner la sémantique du TDA via axiomes.

Ensemble — rôle ?

Domaine d’éléments d’un TDA.

Axiomes de PEANO — définition ?

Axiomes définissant ℕ et ses opérations.

TD simple — caractéristique ?

Une valeur par variable, domaine unique.

TD composé — exemple ?

Enregistrement ou tableau avec plusieurs valeurs.

Interface abstraite — rôle ?

Partie logique exposée, indépendante du stockage.

Implémentation — objectif ?

Réaliser concrètement un TDA à partir de l’interface.

Indépendance d’implantation — signification ?

Utilisation via opérations, sans connaître la structure.