Table des matières
8 relations: Diagramme de décision binaire, Fonction de hachage, Graphe orienté acyclique, Pointeur (programmation), Programmation fonctionnelle, Réécriture (informatique), Référence (programmation), Terme (logique).
Diagramme de décision binaire
En informatique, un graphe de décision binaire ou diagramme de décision binaire (ou BDD pour Binary Decision Diagram en anglais) est une structure de données utilisée pour représenter des fonctions booléennes, ou des questionnaires binaires.
Voir Partage (programmation informatique) et Diagramme de décision binaire
Fonction de hachage
Quand il s'agit de mettre dans un tableau de taille raisonnable (typiquement résidant dans la mémoire principale de l'ordinateur) un ensemble de données de taille variable et arbitraire, on utilise une fonction de hachage pour attribuer à ces données des indices de ce tableau.
Voir Partage (programmation informatique) et Fonction de hachage
Graphe orienté acyclique
En théorie des graphes, un graphe orienté acyclique (en anglais directed acyclic graph ou DAG), est un graphe orienté qui ne possède pas de circuit.
Voir Partage (programmation informatique) et Graphe orienté acyclique
Pointeur (programmation)
En programmation informatique, un pointeur est un objet qui contient l'adresse mémoire d'une donnée ou d'une fonction.
Voir Partage (programmation informatique) et Pointeur (programmation)
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Voir Partage (programmation informatique) et Programmation fonctionnelle
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Voir Partage (programmation informatique) et Réécriture (informatique)
Référence (programmation)
En programmation, une est une valeur qui est un moyen d'accéder en lecture et/ou écriture à une donnée située soit en mémoire principale soit ailleurs.
Voir Partage (programmation informatique) et Référence (programmation)
Terme (logique)
Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification.
Voir Partage (programmation informatique) et Terme (logique)