Car@s,
Os clássicos são, em geral, meus preferidos: Hartley Rogers. Da trabalho, mas 
não há tempo perdido com o trabalho necessário. 
Abraços ,
Chico Miraglia 

> On 13 Apr 2018, at 12:11, Antonio Marmo <marmo.t...@gmail.com> wrote:
> 
> 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 <freires...@gmail.com> 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 
>> <paulavitora...@hotmail.com> 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 logica-l+unsubscr...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> 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ê 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> 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/59E9D60F-7871-4937-9604-F132545F3019%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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/CEBFAB71-7F63-4545-9EDB-EF989801F08D%40ime.usp.br.

Responder a