This HTML5 document contains 88 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-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Myhill_isomorphism_theorem
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Total_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
dbr:Cylindric_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Cylindrification
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Numbering_(computability_theory)
rdfs:label
Numération Нумерація (математика) Nummerierung (Informatik) 編號 (可計算性理論) ナンバリング (計算可能性理論) Numbering (computability theory) Numeração (teoria da computação)
rdfs:comment
Eine Nummerierung einer Menge , im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion . Nummerierungen und die verwandten Notationen sind z. B. Werkzeuge beim Beweis der Äquivalenz von Register- und Turingmaschinen. Wenn die Zuordnung berechenbar ist, spricht man auch von einer effektiven Nummerierung. ナンバリング（英: numbering）は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。 よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のがある。 In computability theory a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language. A numbering can be used to transfer the idea of computability and related concepts, which are originally defined on the natural numbers using computable functions, to these different types of objects. Common examples of numberings include Gödel numberings in first-order logic, the description numbers that arise from universal Turing machines and admissible numberings of the set of partial computable functions. La numération désigne le mode de représentation des nombres, et peut éventuellement se restreindre aux ordinaux ou cardinaux, ou à un ou plusieurs ensembles de nombres donnés. Cette représentation peut être concrète et matérielle, ou, au contraire, abstraite, par le biais des mots, gestes et signes qui ont permis aux différents peuples d'énoncer, de mimer et d'écrire ces nombres. De façon plus spécifique, la numération peut désigner un mode de représentation des nombres lié à un système d’écriture en chiffres précis. Aujourd'hui la numération occidentale, dite « arabe » ou « indo-arabe », à la fois décimale et positionnelle, tend à s'imposer dans le monde. Na teoria da computabilidade, numeração é a atribuição de números naturais para um conjunto de objetos como números racionais, gráficos ou palavras em alguma linguagem. A numeração pode ser usada para transferir a idéia de computabilidade e conceitos relacionados, que estão estritamente definidos sobre os números naturais usando funções computáveis, para objetos diferentes. В теорії обчислень нумерація - це присвоєння натуральних номерів множині об'єктів таких як раціональні числа, графи, чи слова в деякій мові. Нумерації можуть використовуватись для передачі поняття обчислюваності і пов'язаних з нею, які формально означені на натуральних числах за допомогою обчислюваних функцій, на ширші класи об'єктів. 可計算性理論裡，編號（英語：numbering、indexing等）是將一個集合的元素（如函數、有理數、圖、或形式語言的字串）編上自然數號碼。可計算性以及相關的概念最先定義在自然數上，而利用編號，可將這些概念傳遞到上述的其他集合中作討論。 常見例子有一階邏輯的哥德爾編號以及偏可計算函數的。
dcterms:subject
dbc:Computability_theory dbc:Theory_of_computation
dbo:wikiPageID
2399097
dbo:wikiPageRevisionID
1075402104
dbo:wikiPageWikiLink
dbr:Cylindrification dbc:Computability_theory dbr:Recursively_enumerable dbr:Partial_function dbr:Formal_language dbr:Graph_(discrete_mathematics) dbr:Vladimir_Andreyevich_Uspensky dbr:Preorder dbr:Admissible_numbering dbr:Computable_function dbr:Recursively_enumerable_set dbr:Universal_Turing_machine dbr:Computability_theory dbr:Gödel_numbering dbr:Yuri_Ershov dbr:Natural_number dbr:First-order_logic dbr:Surjective_function dbc:Theory_of_computation dbr:Complete_numbering dbr:Set_(mathematics) dbr:Rational_number dbr:Domain_(function) dbr:Function_(mathematics) dbr:Description_number dbr:Friedberg_numbering
owl:sameAs
wikidata:Q362019 dbpedia-de:Nummerierung_(Informatik) dbpedia-pt:Numeração_(teoria_da_computação) dbpedia-ja:ナンバリング_(計算可能性理論) dbpedia-zh:編號_(可計算性理論) dbpedia-fr:Numération n19:3LYu7 dbpedia-uk:Нумерація_(математика) freebase:m.079c2f
dbp:wikiPageUsesTemplate
dbt:Reflist
dbo:abstract
Eine Nummerierung einer Menge , im Sinne der Berechenbarkeitstheorie, ist eine möglicherweise partielle surjektive Funktion . Nummerierungen und die verwandten Notationen sind z. B. Werkzeuge beim Beweis der Äquivalenz von Register- und Turingmaschinen. Wenn die Zuordnung berechenbar ist, spricht man auch von einer effektiven Nummerierung. In computability theory a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language. A numbering can be used to transfer the idea of computability and related concepts, which are originally defined on the natural numbers using computable functions, to these different types of objects. Common examples of numberings include Gödel numberings in first-order logic, the description numbers that arise from universal Turing machines and admissible numberings of the set of partial computable functions. Na teoria da computabilidade, numeração é a atribuição de números naturais para um conjunto de objetos como números racionais, gráficos ou palavras em alguma linguagem. A numeração pode ser usada para transferir a idéia de computabilidade e conceitos relacionados, que estão estritamente definidos sobre os números naturais usando funções computáveis, para objetos diferentes. Numerações importantes são a numeração de Gödel dos termos de lógica de primeira ordem (LPO) e numerações do conjunto de funções computáveis​​, que pode ser usado para aplicar os resultados da teoria da computabilidade sobre o conjunto de funções computáveis ​​em si. В теорії обчислень нумерація - це присвоєння натуральних номерів множині об'єктів таких як раціональні числа, графи, чи слова в деякій мові. Нумерації можуть використовуватись для передачі поняття обчислюваності і пов'язаних з нею, які формально означені на натуральних числах за допомогою обчислюваних функцій, на ширші класи об'єктів. 可計算性理論裡，編號（英語：numbering、indexing等）是將一個集合的元素（如函數、有理數、圖、或形式語言的字串）編上自然數號碼。可計算性以及相關的概念最先定義在自然數上，而利用編號，可將這些概念傳遞到上述的其他集合中作討論。 常見例子有一階邏輯的哥德爾編號以及偏可計算函數的。 ナンバリング（英: numbering）は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。 よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のがある。 La numération désigne le mode de représentation des nombres, et peut éventuellement se restreindre aux ordinaux ou cardinaux, ou à un ou plusieurs ensembles de nombres donnés. Cette représentation peut être concrète et matérielle, ou, au contraire, abstraite, par le biais des mots, gestes et signes qui ont permis aux différents peuples d'énoncer, de mimer et d'écrire ces nombres. De façon plus spécifique, la numération peut désigner un mode de représentation des nombres lié à un système d’écriture en chiffres précis. Aujourd'hui la numération occidentale, dite « arabe » ou « indo-arabe », à la fois décimale et positionnelle, tend à s'imposer dans le monde.
gold:hypernym
dbr:Assignment
prov:wasDerivedFrom
wikipedia-en:Numbering_(computability_theory)?oldid=1075402104&ns=0
dbo:wikiPageLength
4822
foaf:isPrimaryTopicOf
wikipedia-en:Numbering_(computability_theory)
Subject Item
dbr:Numbering_scheme
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Blum_axioms
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Choice_sequence
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Complete_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Computable_isomorphism
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Friedberg_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Admissible_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
Subject Item
dbr:Comparision_of_numberings
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
dbr:Equivalent_(numbering)
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
dbr:One_equivalent_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
dbr:Effective_numbering
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
dbr:Reducibility_(numbering)
dbo:wikiPageWikiLink
dbr:Numbering_(computability_theory)
dbo:wikiPageRedirects
dbr:Numbering_(computability_theory)
Subject Item
wikipedia-en:Numbering_(computability_theory)
foaf:primaryTopic
dbr:Numbering_(computability_theory)