About: Creative and productive sets     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:MeanOfTransportation, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCreative_and_productive_sets

In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and .

AttributesValues
rdf:type
rdfs:label
  • Kreative und produktive Mengen (de)
  • Creative and productive sets (en)
  • 創造的集合と生産的集合 (ja)
  • Conjuntos criativos e produtivos (pt)
rdfs:comment
  • Kreative und produktive Mengen sind Klassen von Teilmengen der natürlichen Zahlen, die in der Berechenbarkeitstheorie und der mathematischen Logik auftreten.Sie sind eng mit dem Begriff der rekursiven Aufzählbarkeit (RE) verbunden:Die produktiven Mengen sind in einem gewissen Sinne die noch am besten algorithmisch beherrschbaren Mengen, die nicht mehr rekursiv aufzählbar sind.Dagegen sind die kreativen Mengen genau die RE-vollständigen (vgl. Vollständigkeit (Theoretische Informatik)).Die Bezeichnung kreative Menge geht auf einen Aufsatz von Emil Post aus dem Jahre 1944 zurück, erst später kam eine eigene Bezeichnung für die produktiven Mengen hinzu. (de)
  • In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and . (en)
  • 生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。 (ja)
  • Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática. Eles são um tópico padrão em livros de lógica matemática tais como e . (pt)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
first
  • Paul (en)
  • Deborah (en)
last
  • Young (en)
  • Joseph (en)
year
has abstract
  • Kreative und produktive Mengen sind Klassen von Teilmengen der natürlichen Zahlen, die in der Berechenbarkeitstheorie und der mathematischen Logik auftreten.Sie sind eng mit dem Begriff der rekursiven Aufzählbarkeit (RE) verbunden:Die produktiven Mengen sind in einem gewissen Sinne die noch am besten algorithmisch beherrschbaren Mengen, die nicht mehr rekursiv aufzählbar sind.Dagegen sind die kreativen Mengen genau die RE-vollständigen (vgl. Vollständigkeit (Theoretische Informatik)).Die Bezeichnung kreative Menge geht auf einen Aufsatz von Emil Post aus dem Jahre 1944 zurück, erst später kam eine eigene Bezeichnung für die produktiven Mengen hinzu. (de)
  • In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and . (en)
  • 生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。 (ja)
  • Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática. Eles são um tópico padrão em livros de lógica matemática tais como e . (pt)
author1-link
  • Deborah Joseph (en)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software