This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Computable_function
dbo:wikiPageWikiLink
dbr:Semicomputable_function
Subject Item
dbr:Computable_number
dbo:wikiPageWikiLink
dbr:Semicomputable_function
Subject Item
dbr:List_of_types_of_functions
dbo:wikiPageWikiLink
dbr:Semicomputable_function
Subject Item
dbr:Semicomputable_function
rdfs:label
Função semicomputável Semicomputable function Ημι-υπολογίσιμη συνάρτηση
rdfs:comment
Στη θεωρία υπολογισιμότητας, μία ημι-υπολογίσιμη συνάρτηση είναι μια μερική συνάρτηση που μπορεί να προσεγγιστεί είτε από πάνω είτε από κάτω από μια υπολογίσιμη συνάρτηση. Πιο συγκεκριμένα μια μερική συνάρτηση είναι άνω ημι-υπολογίσιμη, που σημαίνει ότι μπορεί να προσεγγιστεί από πάνω, αν υπάρχει μια υπολογίσιμη συνάρτηση , όπου είναι η επιθυμητή παράμετρος, για την και είναι το επίπεδο προσέγγισης, έτσι ώστε: * * Εντελώς ανάλογα μια μερική συνάρτηση είναι κάτω ημι-υπολογίσιμη αν η είναι άνω ημι-υπολογίσιμης ή ανάλογα αν υπάρχει μια υπολογίσιμη συνάρτηση τέτοια ώστε * * Na teoria da computabilidade, uma função semicomputável é uma função parcial que pode ser aproximada tanto por cima quanto por baixo através de uma função computável.Mais precisamente, uma função parcial é superiomente semicomputável, significando que ela pode ser aproximada por cima, se existe uma função computável , onde é parámetro desejado para e é o nível de aproximação, de modo que: * * Analogamente, uma função parcial é inferiormente semicomputável se e somente se é superiomente semicomputável ou equivalentemente, se existe uma função computável de modo que: * * In computability theory, a semicomputable function is a partial function that can be approximated either from above or from below by a computable function. More precisely a partial function is upper semicomputable, meaning it can be approximated from above, if there exists a computable function , where is the desired parameter for and is the level of approximation, such that: * * Completely analogous a partial function is lower semicomputable if and only if is upper semicomputable or equivalently if there exists a computable function such that: * *
dct:subject
dbc:Mathematical_logic
dbo:wikiPageID
22032894
dbo:wikiPageRevisionID
1032157670
dbo:wikiPageWikiLink
dbr:Computable_function dbr:Recursion_theory dbc:Mathematical_logic dbr:Partial_function
owl:sameAs
n13:4unhU dbpedia-pt:Função_semicomputável wikidata:Q7449379 freebase:m.05p1r2_ dbpedia-el:Ημι-υπολογίσιμη_συνάρτηση
dbp:wikiPageUsesTemplate
dbt:Mathlogic-stub
dbo:abstract
In computability theory, a semicomputable function is a partial function that can be approximated either from above or from below by a computable function. More precisely a partial function is upper semicomputable, meaning it can be approximated from above, if there exists a computable function , where is the desired parameter for and is the level of approximation, such that: * * Completely analogous a partial function is lower semicomputable if and only if is upper semicomputable or equivalently if there exists a computable function such that: * * If a partial function is both upper and lower semicomputable it is called computable. Στη θεωρία υπολογισιμότητας, μία ημι-υπολογίσιμη συνάρτηση είναι μια μερική συνάρτηση που μπορεί να προσεγγιστεί είτε από πάνω είτε από κάτω από μια υπολογίσιμη συνάρτηση. Πιο συγκεκριμένα μια μερική συνάρτηση είναι άνω ημι-υπολογίσιμη, που σημαίνει ότι μπορεί να προσεγγιστεί από πάνω, αν υπάρχει μια υπολογίσιμη συνάρτηση , όπου είναι η επιθυμητή παράμετρος, για την και είναι το επίπεδο προσέγγισης, έτσι ώστε: * * Εντελώς ανάλογα μια μερική συνάρτηση είναι κάτω ημι-υπολογίσιμη αν η είναι άνω ημι-υπολογίσιμης ή ανάλογα αν υπάρχει μια υπολογίσιμη συνάρτηση τέτοια ώστε * * Εάν μια μερική συνάρτηση είναι και άνω και κάτω ημι-υπολογίσιμη λέγεται υπολογίσιμη. Na teoria da computabilidade, uma função semicomputável é uma função parcial que pode ser aproximada tanto por cima quanto por baixo através de uma função computável.Mais precisamente, uma função parcial é superiomente semicomputável, significando que ela pode ser aproximada por cima, se existe uma função computável , onde é parámetro desejado para e é o nível de aproximação, de modo que: * * Analogamente, uma função parcial é inferiormente semicomputável se e somente se é superiomente semicomputável ou equivalentemente, se existe uma função computável de modo que: * * Se uma função parcial for superior e inferiormente semicomputável, então ela passará a ser chamada de uma função computável.
prov:wasDerivedFrom
wikipedia-en:Semicomputable_function?oldid=1032157670&ns=0
dbo:wikiPageLength
1607
foaf:isPrimaryTopicOf
wikipedia-en:Semicomputable_function
Subject Item
dbr:Upper_semicomputable
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
dbr:Upper_semicomputable_function
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
dbr:Semicomputable_Function
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
dbr:Lower_semicomputable
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
dbr:Lower_semicomputable_function
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
dbr:Semicomputable
dbo:wikiPageWikiLink
dbr:Semicomputable_function
dbo:wikiPageRedirects
dbr:Semicomputable_function
Subject Item
wikipedia-en:Semicomputable_function
foaf:primaryTopic
dbr:Semicomputable_function