1. Universidade Federal do Rio Grande do Norte
2. BDTD - Biblioteca Digital de Teses e Dissertações
3. Programa de Pós-Graduação em Sistemas e Computação
4. PPGSC - Mestrado em Sistemas e Computação

Título:	Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar
Autor(es):	Lyra, Aarão
Orientador:	Bedregal, Benjamin René Callejas
Palavras-chave:	Computabilidade;Intervalos Reais;Modelo BSS;Espaços Contínuos;Computability;Real Intervals;BSS Model;Continuous Spaces
Data do documento:	19-Mai-2006
Editor:	Universidade Federal do Rio Grande do Norte
Referência:	LYRA, Aarão. Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar. 2006. 127 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2006.
Resumo:	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 naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais
URI:	https://repositorio.ufrn.br/jspui/handle/123456789/17972
Aparece nas coleções:	PPGSC - Mestrado em Sistemas e Computação

Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.