2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2009
Computação Paraconsiente: uma Abordagem Lógica à Computação Quântica
Neste trabalho mostramos evidências de que a complexidade algoritmica pode ser vista como relativa a lógica, introduzindo novos modelos de computação através de lógicas não-clássicas e estudando suas características quanto a eficiência. Desde esta v…
Tese2001
Questões conceituais de computabilidade
Na tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de c…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.