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

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

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n13http://dl.acm.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://mathworld.wolfram.com/
n6http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Richardson-tétel
rdfs:label
Richardson-tétel
owl:sameAs
freebase:m.03c64zk
dct:subject
n10:Számítógép-tudomány n10:Valós_analízis
dbo:wikiPageID
898728
dbo:wikiPageRevisionID
20599185
dbo:wikiPageExternalLink
n13:citation.cfm%3Fid=190429 n15:RichardsonsTheorem.html
prop-hu:wikiPageUsesTemplate
n6:Források n6:CitLib n6:Lektor
prop-hu:cím
"Some unsolvable problems involving elementary functions of a real variable"
prop-hu:kiadó
Journal of Symbolic Logic
prop-hu:szerző
Richardson, Daniel
prop-hu:év
1996
dbo:abstract
A matematikában a Richardson-tétel megmutatja, milyen mértékben döntheti el egy algoritmus, hogy bizonyos matematikai kifejezések egyenlőek. A tétel szerint a kifejezések egy bizonyos osztályára eldönthetetlen, hogy egy adott E kifejezés kielégíti-e az E = 0 egyenletet, és hasonlóan meghatározhatatlan, hogy az E, illetve F kifejezéssel meghatározott függvények mindenhol azonosak-e. Ezt az állítást Daniel Richardson angol számítógéptudós bizonyította be 1968-ban a bath-i egyetemen (Anglia). A tétel azokra a kifejezésekre igaz, melyek a racionális számok, a π szám, a ln 2, az x változó, az összeadás, kivonás, szorzás, függvényösszetétel műveletek, valamint a szinuszfüggvény, exponenciális függvény és abszolútérték-függvény segítségével épülnek fel. Léteznek olyan, a fentiektől eltérő kifejezésosztályok, amelyekre algoritmikus úton eldönthető, hogy a kifejezés lehet-e zéró.
prov:wasDerivedFrom
wikipedia-hu:Richardson-tétel?oldid=20599185&ns=0
dbo:wikiPageLength
2537
foaf:isPrimaryTopicOf
wikipedia-hu:Richardson-tétel
Subject Item
wikipedia-hu:Richardson-tétel
foaf:primaryTopic
dbpedia-hu:Richardson-tétel