Computability
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. TOWARDS AN EVALUATION OF THE NORMALISATION THESIS ON IDENTITY OF PROOFS: THE CASE OF CHURCH-TURING THESIS AS TOUCHSTONE
Abstract This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core math
Manuscrito. Publicado em: 2020-09
-
2. Computabilidade e limites da matemática das teorias físicas: aplicações em sistemas elétricos de potência. / Computability and limits of physical theories mathematics: applications in electric power systems.
Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2011
-
3. Teorias da Aleatoriedade
Este trabalho apresenta uma revisão bibliográfica sobre a definição de “seqüência aleatória”. Nós enfatizamos a definição de Martin-Löf e a definição baseada em incompressividade (complexidade de Kolmogorov). Complexidade de Kolmogorov é uma teoria sofisticada e profunda da informação e da aleatoriedade baseada na máquina de Turing. Esta
Publicado em: 2010
-
4. Gramáticas de formas como modelo computacional teórico : o poder computacional de gramáticas de formas comparado a outros modelos computacionais teóricos, como máquina de Turing e gramática generativa de Chomsky
Gramáticas de formas têm sido as principais ferramentas para o estudo envolvendo linguagens de design, permitindo os processos de análise e de síntese sobre elementos de desenho, servindo em última instância para a concepção e manipulação de estilos estéticos específicos. Comparado a outros modelos generativos, especialmente os simbólicos como a
Publicado em: 2010
-
5. 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
-
6. 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
-
7. Coupled maps and applications: image processing, self-organization and symbolic programming. / Mapas acoplados e aplicações: processamento de imagens, auto-organização e processamento simbólico.
We investigated some computational abilities of systems composed by coupled maps. Here, we explored the use of those systems in dealing with three problems: the identification of reflection symmetry in bidimensional images; the appearing of clusters of synchronous elements in networks with small-worlds topologies; and in constructing figures obeying a compos
Publicado em: 2004
-
8. 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
-
9. 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
-
10. SIMULAÇÃO DE REDES COM LINHAS DE TRANSMISSÃO E CARGAS / TRANSMISSION LINE MODEL
This thesis introduces a metodology for the simulation of transmission lines, power generators, interconnnections and loads, base don digital filtering models. These models make intensive use of digital equivalent network concepts in order to solve the computability problem of the digital filter. The result of this work is a system that represents the discre
Publicado em: 1992
-
11. Algebraic aspects of the computably enumerable degrees.
A set A of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. The class of sets B which contain the same information as A under Turing computability (