http://dbpedia.org/ontology/abstract
|
Een normaalvorm voor uitdrukkingen in een … Een normaalvorm voor uitdrukkingen in een wiskundig formalisme is een bepaalde vorm van zulke uitdrukkingen, zodanig dat er een conversieprocedure bekend is die willekeurige uitdrukkingen in het formalisme omzet in equivalente uitdrukkingen van de desbetreffende vorm. Een dergelijke procedure wordt normalisatie genoemd. De term wordt in verschillende takken van de wiskunde gebruikt, bijvoorbeeld in de logica en de formeletalentheorie.ld in de logica en de formeletalentheorie.
|
http://dbpedia.org/ontology/wikiPageDisambiguates
|
http://dbpedia.org/resource/Greibach_normal_form +
, http://dbpedia.org/resource/Chomsky_normal_form +
, http://dbpedia.org/resource/Skolem_normal_form +
, http://dbpedia.org/resource/Prenex_normal_form +
, http://dbpedia.org/resource/Conjunctive_normal_form +
, http://dbpedia.org/resource/Normal_form_%28natural_deduction%29 +
, http://dbpedia.org/resource/Canonical_normal_form +
, http://dbpedia.org/resource/Algebraic_normal_form +
, http://dbpedia.org/resource/Kuroda_normal_form +
, http://dbpedia.org/resource/Clausal_normal_form +
, http://dbpedia.org/resource/Negation_normal_form +
, http://dbpedia.org/resource/Jordan_normal_form +
, http://dbpedia.org/resource/Disjunctive_normal_form +
, http://dbpedia.org/resource/Beta_normal_form +
, http://dbpedia.org/resource/Hesse_normal_form +
, http://dbpedia.org/resource/Normal_form_%28abstract_rewriting%29 +
, http://dbpedia.org/resource/Normal_form_%28dynamical_systems%29 +
|
http://dbpedia.org/ontology/wikiPageID
|
202562
|
http://dbpedia.org/ontology/wikiPageLength
|
938
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1119599775
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Prenex_normal_form +
, http://dbpedia.org/resource/Skolem_normal_form +
, http://dbpedia.org/resource/Jordan_normal_form +
, http://dbpedia.org/resource/Normal_form_%28dynamical_systems%29 +
, http://dbpedia.org/resource/Greibach_normal_form +
, http://dbpedia.org/resource/Clausal_normal_form +
, http://dbpedia.org/resource/Normal_form_%28natural_deduction%29 +
, http://dbpedia.org/resource/Normal_form_%28abstract_rewriting%29 +
, http://dbpedia.org/resource/Kuroda_normal_form +
, http://dbpedia.org/resource/Canonical_normal_form +
, http://dbpedia.org/resource/Database_normalization +
, http://dbpedia.org/resource/Conjunctive_normal_form +
, http://dbpedia.org/resource/Normalization_%28disambiguation%29 +
, http://dbpedia.org/resource/Beta_normal_form +
, http://dbpedia.org/resource/Canonical_form +
, http://dbpedia.org/resource/Chomsky_normal_form +
, http://dbpedia.org/resource/Negation_normal_form +
, http://dbpedia.org/resource/Set_%28music%29 +
, http://dbpedia.org/resource/Normalization_property_%28abstract_rewriting%29 +
, http://dbpedia.org/resource/Disjunctive_normal_form +
, http://dbpedia.org/resource/Hesse_normal_form +
, http://dbpedia.org/resource/Normal-form_game +
, http://dbpedia.org/resource/Algebraic_normal_form +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Dab +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Normal_form?oldid=1119599775&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Normal_form +
|
owl:sameAs |
https://global.dbpedia.org/id/56tmj +
, http://uk.dbpedia.org/resource/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0 +
, http://www.wikidata.org/entity/Q968220 +
, http://pl.dbpedia.org/resource/Posta%C4%87_normalna +
, http://nl.dbpedia.org/resource/Normaalvorm +
, http://dbpedia.org/resource/Normal_form +
, http://fr.dbpedia.org/resource/Forme_normale +
, http://ru.dbpedia.org/resource/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0_%28%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%B8%D1%8F%29 +
, http://sv.dbpedia.org/resource/Normalform +
, http://cv.dbpedia.org/resource/%D0%9D%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BB%C4%95_%D1%84%D0%BE%D1%80%D0%BC%D0%B0_%28%D0%BF%C4%95%D0%BB%D1%82%D0%B5%D1%80%C4%95%D1%88%D1%81%D0%B5%D0%BC%29 +
, http://es.dbpedia.org/resource/Forma_normal +
, http://de.dbpedia.org/resource/Normalform_%28Begriffskl%C3%A4rung%29 +
|
rdfs:comment |
Een normaalvorm voor uitdrukkingen in een … Een normaalvorm voor uitdrukkingen in een wiskundig formalisme is een bepaalde vorm van zulke uitdrukkingen, zodanig dat er een conversieprocedure bekend is die willekeurige uitdrukkingen in het formalisme omzet in equivalente uitdrukkingen van de desbetreffende vorm. Een dergelijke procedure wordt normalisatie genoemd. De term wordt in verschillende takken van de wiskunde gebruikt, bijvoorbeeld in de logica en de formeletalentheorie.ld in de logica en de formeletalentheorie.
|
rdfs:label |
Forma normal
, Forme normale
, Нормальная форма (значения)
, Normal form
, Normaalvorm
, Нормальна форма
, Normalform (Begriffsklärung)
, Postać normalna
, Normalform
|