Funcoes Computaveis
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Paraconsisted computation : a logic approach to quantum / Computação paraconsistente : uma abordagem logica a computação quantica
This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the
Publicado em: 2009
-
2. SiR: um simulador da execução de funções recursivas utilizando o conceito de grafo de dependências. / Sir : a simulater of the execution of recursive functions using the concept of the dependence graph.
A proposta aqui apresentada visa prover uma ferramenta gráca que auxilie no ensino de Computabilidade em cursos de Ciência da Computação e ans. A motivação para o desenvolvimento desta ferramenta está baseada na diculdade de aprendizagem e interesse dos alunos nas disciplinas de computação que abordam temas teóricos. Entre estes temas, destaca-se o
Publicado em: 2008
-
3. Da computação paraconsistente a computação quantica
As diferentes interpretações da mecânica quântica levanta sérios problemas filosóficos a respeito da natureza do mundo físico e do estatuto das teorias físicas. Tais interpretações desempenham um papel importante na compreensão dos modelos de computação quântica, e por sua vez os modelos de computação quântica abrem a possibilidade de se con
Publicado em: 2006
-
4. Questões conceituais de computabilidade
In this Thesis we examine some problems related to the concept of computable function. In particular, we present an analysis of an objection to the usual definition as regards its constructive contentoWe also develop computability theory distinguishing selfreference and self-modification and we make an evaluation of a reformulation of Turing- Church Thesis b
Publicado em: 2001
-
5. Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar
A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números natur
Publicado em: 1999