This HTML5 document contains 64 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/
n22http://www.eecs.umich.edu/
n16http://dbpedia.org/resource/Input/
n10https://en.wikipedia.org/wiki/
n21https://www.sciencedirect.com/science/article/pii/S0890540104001257/
n17https://global.dbpedia.org/id/
n23http://www.sciencedirect.com/science/article/pii/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
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/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n13https://www.researchgate.net/profile/Dina_Goldin/publication/225181994_Persistent_Turing_Machines_as_a_Model_of_Interactive_Computation/links/55f2fafd08ae6a34f65e811e/

Statements

Subject Item
dbr:Quasi-empiricism_in_mathematics
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:List_of_computability_and_complexity_topics
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Index_of_computing_articles
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Interactive_computation
rdf:type
dbo:Person owl:Thing
rdfs:label
Computação interativa Interactive computation
rdfs:comment
In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo. Isto é em contraste ao entendimento tradicional de cálculo que assume uma simples interface entre o agente de computação e o ambiente, consistindo em fazer uma pergunta (entrada) e gerar uma resposta (saída).
owl:differentFrom
dbr:Interactive_computing
dct:subject
dbc:Theory_of_computation dbc:Theoretical_computer_science
dbo:wikiPageID
649418
dbo:wikiPageRevisionID
1003875897
dbo:wikiPageWikiLink
dbr:Super-recursive_algorithm dbr:Computation dbc:Theory_of_computation dbr:Mathematical_model dbr:Dina_Q._Goldin dbr:Interactive_programming dbr:Cirquent_calculus dbc:Theoretical_computer_science dbr:Hypercomputation dbr:RE_(complexity) dbr:Membrane_computing n16:output dbr:Giorgi_Japaridze dbr:Human-based_computation dbr:Computability_logic dbr:Abstract_state_machine dbr:Computer_science dbr:Quasi-empiricism_in_mathematics dbr:Peter_Wegner dbr:Yuri_Gurevich dbr:Game_semantics
dbo:wikiPageExternalLink
n10:Abstract_state_machine n13:Persistent-Turing-Machines-as-a-Model-of-Interactive-Computation.pdf n21:pdf%3Fmd5=089dffc5232a9ba5bc71fb41c475afcb&pid=1-s2.0-S0890540104001257-main.pdf n22:gasm n23:S0304397597001540
owl:sameAs
dbpedia-pt:Computação_interativa wikidata:Q6045374 freebase:m.02_h8_ n17:4niau
dbp:wikiPageUsesTemplate
dbt:Cn dbt:Distinguish dbt:ISBN
dbo:abstract
Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo. Isto é em contraste ao entendimento tradicional de cálculo que assume uma simples interface entre o agente de computação e o ambiente, consistindo em fazer uma pergunta (entrada) e gerar uma resposta (saída). A famosa tese de Church-Turing tenta definir computação e computabilidade em termos de Máquinas de Turing. No entanto, a máquina de Turing fornece apenas uma resposta para a questão do que significa computabilidade de funções e, com tarefas interativas que nem sempre são redutíveis a funções, ela falha em captar nossa intuição mais ampla de computação e computabilidade. Embora este fato tenha sido admitido pelo próprio Alan Turing, foi só recentemente que a comunidade científica da Computação Teórica percebeu a necessidade de definir modelos matemáticos adequados de computação interativa. Entre os modelos matemáticos de computação estudados atualmente que tentam capturar a interação são as máquinas fácil-e-difícil de Japaridze, elaboradas nas estruturas de lógica computacional, as máquinas de Turing persistentes de Goldin, e as máquinas de estado abstrato de Gurevich. tem, adicionalmente, feito um grande trabalho nesta área da ciência da computação. In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Interactive_computation?oldid=1003875897&ns=0
dbo:wikiPageLength
2259
foaf:isPrimaryTopicOf
wikipedia-en:Interactive_computation
Subject Item
dbr:Interactive_computing
owl:differentFrom
dbr:Interactive_computation
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Interactive_programming
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Game_theory
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Computability_logic
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Game_semantics
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Logics_for_computability
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Super-recursive_algorithm
dbo:wikiPageWikiLink
dbr:Interactive_computation
Subject Item
dbr:Interaction_computing
dbo:wikiPageWikiLink
dbr:Interactive_computation
dbo:wikiPageRedirects
dbr:Interactive_computation
Subject Item
wikipedia-en:Interactive_computation
foaf:primaryTopic
dbr:Interactive_computation