Banca de QUALIFICAÇÃO: CLAUDIO ANDRÉS CALLEJAS OLGUÍN

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE: CLAUDIO ANDRÉS CALLEJAS OLGUÍN
DATA: 10/12/2015
HORA: 10:00
LOCAL: Anfiteatro A do CCET
TÍTULO:

Aproximações topológicas computáveis à classe das funções totais computáveis


PALAVRAS-CHAVES:

Computabilidade, funções totais computáveis, espaços topológicos, métricas, axiomatização de um classe de funções


PÁGINAS: 35
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Teoria da Computação
ESPECIALIDADE: Computabilidade e Modelos de Computação
RESUMO:

Existem várias caracterizações da classe das funções totais computáveis, mas todas elas possuem um componente indecidível. Mais importante ainda, o conjunto de índices da classe das funções totais computáveis não é axiomatizável, devido a que pode ser efetivamente demonstrado que toda lista computável dos índices correspondentes às funções totais computáveis é incompleta. É neste cenário que esta proposta de tésis fornece duas aproximações computáveis à classe das funções totais computáveis. Primeiro é demonstrado que o conjunto de índices da classe das funções totais computáveis constitui um espaço topológico com um conjunto denso computável. É realizada uma axiomatização das funções codificadas por este conjunto denso e é demonstrado que a classe resultante é uniformemente computável. Finalmente é construída uma sequência decrescente de espaços topológicos computáveis que se aproxima ao conjunto de índices da classe das funções totais computáveis.


MEMBROS DA BANCA:
Presidente - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Interno - 1345816 - REGIVAN HUGO NUNES SANTIAGO
Externo à Instituição - JORGE PETRUCIO VIANA - UFF
Notícia cadastrada em: 13/11/2015 08:31
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa06-producao.info.ufrn.br.sigaa06-producao