Computability Theory
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. 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