Please use this identifier to cite or link to this item: https://repositorio.ufrn.br/handle/123456789/17972
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorBedregal, Benjamin René Callejaspt_BR
dc.contributor.authorLyra, Aarãopt_BR
dc.date.accessioned2014-12-17T15:47:45Z-
dc.date.available2014-12-12pt_BR
dc.date.available2014-12-17T15:47:45Z-
dc.date.issued2006-05-19pt_BR
dc.identifier.citationLYRA, 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.por
dc.identifier.urihttps://repositorio.ufrn.br/jspui/handle/123456789/17972-
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal do Rio Grande do Nortepor
dc.rightsAcesso Abertopor
dc.subjectComputabilidadepor
dc.subjectIntervalos Reaispor
dc.subjectModelo BSSpor
dc.subjectEspaços Contínuospor
dc.subjectComputabilityeng
dc.subjectReal Intervalseng
dc.subjectBSS Modeleng
dc.subjectContinuous Spaceseng
dc.titleComputabilidade no espaço dos intervalos reais: um modelo BSS intervalarpor
dc.typemasterThesispor
dc.publisher.countryBRpor
dc.publisher.initialsUFRNpor
dc.publisher.programPrograma de Pós-Graduação em Sistemas e Computaçãopor
dc.contributor.authorLatteshttp://lattes.cnpq.br/2558569782799336por
dc.contributor.advisorLatteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7por
dc.contributor.referees1Acióly, Benedito Melopt_BR
dc.contributor.referees1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2por
dc.contributor.referees2Déharbe, David Boris Paulpt_BR
dc.contributor.referees2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5por
dc.description.resumoA 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 racionaispor
dc.publisher.departmentCiência da Computaçãopor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOpor
Appears in Collections:PPGSC - Mestrado em Sistemas e Computação

Files in This Item:
File Description SizeFormat 
AaraoL.pdf724.46 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.