Banca de DEFESA: VICTOR PEREIRA GOMES

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: VICTOR PEREIRA GOMES
DATA: 21/06/2016
HORA: 09:00
LOCAL: CCHLA - UFPB
TÍTULO: Título da dissertação: Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções
PALAVRAS-CHAVES: Algoritmo, funções algorítmicas, funções recursivas primitivas, algoritmo reconhecedor, função universal.
PÁGINAS: 96
GRANDE ÁREA: Ciências Humanas
ÁREA: Filosofia
SUBÁREA: História da Filosofia
RESUMO: Na teoria da computabilidade, problemas sao conjuntos de numeros naturais. Um capitulo dessa teoria procura responder a problemas, chamados problemas de decisao. Este texto e destinado a apresentar a classe das funcoes recursivas primitivas, e a partir disto, apresentarmos solucoes para os seguintes problemas: (1) dada a classe das derivacoes recursivas primitivas, ha um algoritmo, ou seja, um procedimento mecanico, para reconhecer derivacoes recursivas primitivas? Sabe-se que nao existe um algoritmo para reconhecer um algoritmo, ou seja, nao existe um algoritmo para decidir, dado um conjunto finito (nao vazio) de instrucoes, se este conjunto pertence ou nao pertence a classe de todos os algoritmos. Entretanto, tentaremos mostrar que existe um algoritmo reconhecedor para uma subclasse ou subconjunto desta classe supracitada, a saber, a classe das derivacoes recursivas primitivas. Tais derivacoes sao conjuntos de instrucoes para computar funcoes recursivas primitivas, que por sua vez, constituem uma subclasse das funcoes algoritmicas. (2) Existe uma funcao universal para a classe das funcoes recursivas primitivas? Se sim, essa funcao e recursiva primitiva? (3) Toda funcao algoritmica e recursiva primitiva?
MEMBROS DA BANCA:
Externo à Instituição - AMERICO AUGUSTO NOGUEIRA VIEIRA
Interno - 334109 - ANA LEDA DE ARAUJO
Externo ao Programa - 1345968 - GARIBALDI MONTEIRO SARMENTO
Presidente - 329455 - MATIAS FRANCISCO DIAS