En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los árboles con información en los nodos pueden definirse como sigue: Sea T un conjunto. Los árboles con información en los nodos son todos los valores que se pueden construir con las reglas siguientes. El árbol vacío es un árbol y es representado con la constante AVacio.

rdfs:comment
  • En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los árboles con información en los nodos pueden definirse como sigue: Sea T un conjunto. Los árboles con información en los nodos son todos los valores que se pueden construir con las reglas siguientes. El árbol vacío es un árbol y es representado con la constante AVacio. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Tipo de dato algebraico (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 55893 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3877 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 15 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64534055 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [15 values]
Is dbpedia-owl:wikiPageWikiLink of