Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Numbering_(computability_theory)> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Numbering_(computability_theory) abstract "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 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 and admissible numberings of the set of partial computable functions.".
- Numbering_(computability_theory) wikiPageID "2399097".
- Numbering_(computability_theory) wikiPageRevisionID "571695457".
- Numbering_(computability_theory) hasPhotoCollection Numbering_(computability_theory).
- Numbering_(computability_theory) subject Category:Computability_theory.
- Numbering_(computability_theory) subject Category:Theory_of_computation.
- Numbering_(computability_theory) comment "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 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.".
- Numbering_(computability_theory) label "Numbering (computability theory)".
- Numbering_(computability_theory) label "Numeração (teoria da computação)".
- Numbering_(computability_theory) label "Nummerierung (Informatik)".
- Numbering_(computability_theory) sameAs Nummerierung_(Informatik).
- Numbering_(computability_theory) sameAs Numeração_(teoria_da_computação).
- Numbering_(computability_theory) sameAs m.079c2f.
- Numbering_(computability_theory) sameAs Q362019.
- Numbering_(computability_theory) sameAs Q362019.
- Numbering_(computability_theory) wasDerivedFrom Numbering_(computability_theory)?oldid=571695457.
- Numbering_(computability_theory) isPrimaryTopicOf Numbering_(computability_theory).