This HTML5 document contains 82 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
n14https://www.zhihu.com/topic/
dbrhttp://dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
n15http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n19https://commons.wikimedia.org/wiki/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n26http://g.co/kg/m/
n4https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n31http://www.cs.cmu.edu/~emc/15817-f09/
n21http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n25http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-commonshttp://commons.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n36https://www.quora.com/topic/
n33http://www.omegawiki.org/DefinedMeaning:
dbpedia-nlhttp://nl.dbpedia.org/resource/
n27https://commons.wikimedia.org/wiki/Category:
n30http://hi.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n38http://www.polytech.univ-montp2.fr/pravo/cours/Logique/Polycops-pdf/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Diagramme_de_décision_binaire
rdfs:label
Binäres Entscheidungsdiagramm Binair beslissingsdiagram Diagrama de decisión binario Diagramme de décision binaire Diagrama de decisió binari
rdfs:comment
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. On utilise les BDD pour représenter des ensembles ou des relations de manière compacte / compressée.
rdfs:seeAlso
n14:19604607 n19:Binary_Decision_Diagram n27:Binary_decision_diagrams n33:969854 n36:Binary-Decision-Diagram
owl:sameAs
n4:4530728-3 dbpedia-zh:二元决策图 dbpedia-da:Binært_beslutningsdiagram wikidata:Q864155 dbpedia-ja:二分決定図 dbpedia-commons:Binary_Decision_Diagram dbpedia-uk:Бінарна_діаграма_рішень dbpedia-es:Diagrama_de_decisión_binario dbr:Binary_decision_diagram n25:3309909 n26:02rsm6 dbpedia-ru:Бинарная_диаграмма_решений dbpedia-de:Binäres_Entscheidungsdiagramm n30:बाइनरी_निर्णय_आरेख dbpedia-ca:Diagrama_de_decisió_binari dbpedia-nl:Binair_beslissingsdiagram dbpedia-sr:Binarni_dijagrami_odluke
dbo:wikiPageID
1387408
dbo:wikiPageRevisionID
187509546
dbo:wikiPageWikiLink
dbpedia-fr:Conception_assistée_par_ordinateur dbpedia-fr:Relation_(mathématiques) dbpedia-fr:Vérification_de_modèles dbpedia-fr:Informatique dbpedia-fr:Structure_de_données dbpedia-fr:Expansion_de_Shannon dbpedia-fr:Arbre_de_décision category-fr:Structure_de_données n21:BDD_Variable_Ordering_Good.svg n21:BDD_simple.svg n21:BDD.png n21:BDD_Variable_Ordering_Bad.svg category-fr:Diagramme category-fr:Méthode_formelle category-fr:Vérification_de_modèles dbpedia-fr:Compression_de_données dbpedia-fr:Questionnaire dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:The_Art_of_Computer_Programming dbpedia-fr:Ensemble dbpedia-fr:Théorie_des_graphes dbpedia-fr:Fonction_booléenne
dbo:wikiPageExternalLink
n31:lecture1.pdf n38:Chap3.pdf
dbo:wikiPageLength
10118
dct:subject
category-fr:Méthode_formelle category-fr:Diagramme category-fr:Structure_de_données category-fr:Vérification_de_modèles
prop-fr:wikiPageUsesTemplate
n6:Voir_homonymes n6:Ouvrage n6:Portail n6:Palette n6:À_sourcer n6:Section_vide_ou_incomplète n6:En n6:Langue n6:Pdf n6:,
prov:wasDerivedFrom
wikipedia-fr:Diagramme_de_décision_binaire?oldid=187509546&ns=0
foaf:depiction
n15:BDD.png n15:BDD_Variable_Ordering_Bad.svg n15:BDD_Variable_Ordering_Good.svg n15:BDD_simple.svg
prop-fr:année
2010
prop-fr:auteur
Donald Knuth
prop-fr:titre
The Art of Computer Programming, fascicule 1
prop-fr:volume
4
prop-fr:éditeur
3
dbo:thumbnail
n15:BDD_simple.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Diagramme_de_décision_binaire
dbo:abstract
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. On utilise les BDD pour représenter des ensembles ou des relations de manière compacte / compressée. Les diagrammes de décision binaires sont utilisés par les programmes de conception assistée par ordinateur (CAO / CAD) pour générer des circuits (synthèse logique), et dans la vérification formelle. C'est une structure de donnée considérée comme compacte, en comparaison par exemple aux arbres de décision. Les diagrammes de décision binaire sont utilisés dans le model checking symbolique de CTL.