Além dessas indicações do Rodrigo, você pode também dar uma olhada na parte histórica que é a melhor forma de penetrar as questões.
Veja, entre outros, o legado de Raimundo Lúlio e Leibniz para depois ir a Church e Turing. > On 13 Apr 2018, at 08:39, Rodrigo Freire <[email protected]> wrote: > > Olá Ana, > > Com mais informações sobre seu background e sobre como você se interessou por > esse campo é mais fácil receber uma sugestão apropriada. Sobre sua primeira > questão: É importante entrar em contato, inicialmente, com as noções de > função, enumeração e indução finita. Além desse livro que seu professor > indicou, você pode pegar o livro Computabilidade e Lógica, de Boolos, Burgess > e Jeffrey, também traduzido para o português e publicado pela editora Unesp. > > Se me fosse pedido para elaborar um projeto de IC, eu faria um projeto > articulado em torno da chamada tese de Church, portanto dando prioridade para > a noção de função computável, respondendo sua outra pergunta. Claro que é uma > resposta enviesada, não há resposta certa para isso, é perfeitamente cabível > um outro projeto que inverte essa prioridade. > > Abraço > Rodrigo > > > > Em 12 de abr de 2018, à(s) 11:30, Ana Paula Dos Anjos Vitorasse > <[email protected]> escreveu: > >> >> >> Para quem tem interesse em começar uma IC na área de Teoria da Recursão >> quais os conceitos que tenho bem definidos na cabeça para entender bem a >> referida Teoria?? >> Por enquanto meu professor me recomendou ler o Capítulo 10 >> do livro do Prof. Walter Carnielli e Richard L. Epstein. Mas estou sem >> nenhuma base por onde começar. O professor que procurei para trabalhar numa >> Iniciação Científica disse que preciso especificar o que pretendo estudar. >> Para um iniciante o que seria mais adequado? Função recursiva Primitiva ou >> Função Computável? >> >> Desde já agradeço. >> >> Enviado do Email para Windows 10 >> >> -- >> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >> Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >> um e-mail para [email protected]. >> Para postar nesse grupo, envie um e-mail para [email protected]. >> Acesse esse grupo em >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BN6PR03MB3138403D71A99F010063E61FD4BC0%40BN6PR03MB3138.namprd03.prod.outlook.com. > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BECF5B32-4AEA-4EA3-9F77-89E2D7BC8AA9%40gmail.com. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/59E9D60F-7871-4937-9604-F132545F3019%40gmail.com.
