@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Computable_real_function	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000839939a> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns3:	<http://en.wikipedia.org/wiki/> .
dbpedia:Computable_real_function	foaf:page	ns3:Computable_real_function .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Computable_real_function	rdfs:label	"Computable real function"@en .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Computable_real_function	dbpprop:abstract	"In mathematical logic, specifically computability theory, a function &lt;math&gt;f \\colon \\mathbb{R} \\to \\mathbb{R}&lt;/math&gt; is sequentially computable if, for every computable sequence &lt;math&gt;\\{x_i\\}_{i=1}^\\infty&lt;/math&gt; of real numbers, the sequence &lt;math&gt;\\{f(x_i) \\}_{i=1}^\\infty&lt;/math&gt; is also computable. A function &lt;math&gt;f \\colon \\mathbb{R} \\to \\mathbb{R}&lt;/math&gt; is effectively uniformly continuous if there exists a recursive function &lt;math&gt;d \\colon \\mathbb{N} \\to \\mathbb{N}&lt;/math&gt; such that, if &lt;math&gt; | x-y| &lt; {1 \\over d(n)}&lt;/math&gt; then &lt;math&gt; | f(x) - f(y)| &lt; {1 \\over n}&lt;/math&gt; A real function is computable if it is both sequentially computable and effectively uniformly continuous. These definitions can be generalized to functions of more than one variable or functions only defined on a subset of &lt;math&gt;\\mathbb{R}^n. &lt;/math&gt; The generalizations of the latter two need not be restated. A suitable generalization of the first definition is: Let &lt;math&gt;D&lt;/math&gt; be a subset of &lt;math&gt;\\mathbb{R}^n. &lt;/math&gt; A function &lt;math&gt;f \\colon D \\to \\mathbb{R}&lt;/math&gt; is sequentially computable if, for every &lt;math&gt;n&lt;/math&gt;-tuplet &lt;math&gt;\\left(\\{ x_{i \\, 1} \\}_{i=1}^\\infty, \\ldots \\{ x_{i \\, n} \\}_{i=1}^\\infty \\right)&lt;/math&gt; of computable sequences of real numbers such that &lt;math&gt; (\\forall i) \\quad (x_{i \\, 1}, \\ldots x_{i \\, n}) \\in D \\qquad,&lt;/math&gt; the sequence &lt;math&gt;\\{f(x_i) \\}_{i=1}^\\infty&lt;/math&gt; is also computable."@en ;
	rdfs:comment	"In mathematical logic, specifically computability theory, a function &lt;math&gt;f \\colon \\mathbb{R} \\to \\mathbb{R}&lt;/math&gt; is sequentially computable if, for every computable sequence &lt;math&gt;\\{x_i\\}_{i=1}^\\infty&lt;/math&gt; of real numbers, the sequence &lt;math&gt;\\{f(x_i) \\}_{i=1}^\\infty&lt;/math&gt; is also computable."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns7:	<http://dbpedia.org/resource/Category:> .
dbpedia:Computable_real_function	skos:subject	ns7:Mathematical_logic .
@prefix ns8:	<http://dbpedia.org/resource/Template:> .
dbpedia:Computable_real_function	dbpprop:wikiPageUsesTemplate	ns8:planetmath ;
	dbpprop:id	6248 ;
	dbpprop:title	"Computable real function"@en .