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 <[email protected]> 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 <[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ê 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/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 [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/CEBFAB71-7F63-4545-9EDB-EF989801F08D%40ime.usp.br.
