Accès plus rapide que le navigateur!
14 relations: Arbre de décision, Compression de données, Conception assistée par ordinateur, Ensemble, Expansion de Shannon, Fonction booléenne, Informatique, Méthode formelle (informatique), Questionnaire, Relation (mathématiques), Structure de données, Théorie des graphes, The Art of Computer Programming, Vérification de modèles.
Arbre de décision
date.
Nouveau!!: Diagramme de décision binaire et Arbre de décision · Voir plus »
Compression de données
La compression de données ou codage de source est l'opération informatique consistant à transformer une suite de bits A en une suite de bits B plus courte pouvant restituer les mêmes informations, ou des informations voisines, en utilisant un algorithme de décompression.
Nouveau!!: Diagramme de décision binaire et Compression de données · Voir plus »
Conception assistée par ordinateur
vignette La conception assistée par ordinateur ou CAO (en anglais, computer aided design ou CAD) comprend l'ensemble des logiciels et des techniques de modélisation géométrique permettant de concevoir, de tester virtuellement – à l'aide d'un ordinateur et des techniques de simulation numérique – et de réaliser des produits manufacturés et les outils pour les fabriquer.
Nouveau!!: Diagramme de décision binaire et Conception assistée par ordinateur · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Diagramme de décision binaire et Ensemble · Voir plus »
Expansion de Shannon
L'expansion de Shannon est, en logique, la décomposition d'une équation booléenne selon une ou plusieurs variables principales.
Nouveau!!: Diagramme de décision binaire et Expansion de Shannon · Voir plus »
Fonction booléenne
Arbre de décision binaire Une fonction booléenne est une fonction prenant en entrée une liste de bits et donnant en sortie un unique bit.
Nouveau!!: Diagramme de décision binaire et Fonction booléenne · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Diagramme de décision binaire et Informatique · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Diagramme de décision binaire et Méthode formelle (informatique) · Voir plus »
Questionnaire
Un questionnaire est une série de questions méthodiquement posées afin de définir un cas, une situation, une demande parmi un grand nombre de possibilités.
Nouveau!!: Diagramme de décision binaire et Questionnaire · Voir plus »
Relation (mathématiques)
Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets; ainsi la relation d'ordre strict, notée « Voir par exemple, p. 36.
Nouveau!!: Diagramme de décision binaire et Relation (mathématiques) · Voir plus »
Structure de données
En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.
Nouveau!!: Diagramme de décision binaire et Structure de données · Voir plus »
Théorie des graphes
tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.
Nouveau!!: Diagramme de décision binaire et Théorie des graphes · Voir plus »
The Art of Computer Programming
The Art of Computer Programming (TAOCP) est une série de livres en plusieurs volumes sur la programmation informatique, écrits par Donald Knuth.
Nouveau!!: Diagramme de décision binaire et The Art of Computer Programming · Voir plus »
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.
Nouveau!!: Diagramme de décision binaire et Vérification de modèles · Voir plus »
