Obrigada a todos pelas dicas.
E vou dar uma olhada na tese de Church e e estudar sobre função computável.

Em sex, 13 de abr de 2018 14:44, Thanos Tsouanas <tha...@tsouanas.org>
escreveu:

> [mando novamente minha mensagem pois acho que mandei por o email errado]
>
> Oi Ana,
>
> Nao tenho certeza qual o nivel dum "IC" (nem sei exatamente o que eh),
> nem qual eh o teu background matematico, entao pode ser que nada desse
> email faz sentido para teu caso, mas um comeco razoavel para teoria de
> recursao seria:
>
> * Cutland (Computability) eh mto gentil e nao presuponha muita coisa
> para estuda-lo.
> * "a biblia geral": Kleene (Introduction to Metamathematics) tem uma
> parte devotada em teoria de recursao, e os prerequisitos para ela
> tambem pode achar no mesmo livro, nos capitulos anteriores.
>
> Dois livros focados nisso sao:
> * "a biblia focada": Rogers (Theory of Recursive Functions and
> Effective Computability)
> * o mais recente Soare (Recursively Enumerable Sets and Degrees)
>
> Esse assunto eh um dos "4 pillars" da logica (teoria de conjuntos /
> teoria de modelos / teoria de provas / teoria de recursao), entao ele
> eh bastante tratado em livros de matematica logica geral.
> Dois bons livros com bastante material em teoria de recursao sao os
> * Bell & Machover (A course on Mathematical Logic)
> * Cory & Lascar (Mathematical Logic: a course with exercises)
>
> * As lecture notes de Moschovakis sao muito boas e bem no coracao do
> assunto, com muitos exercicios para praticar, mas pressuponham
> bastante "maduridade matematica" para acompanhar e progressam
> rapidamente:
> http://www.math.ucla.edu/~ynm/lectures/randc.pdf
>
> Tudo isso supondo que estas procurando um tratamento matematico mesmo..
> No lado de programacao um livro interessante seria o
> * Jones (computability & complexity a programming perspective)
> mas apenas pelo fato que tu chamou "Teoria de Recursao" imagino que o
> outro lado eh o que voce mais quer.
>
> Abraco
>
> --Thanos
>
> 2018-04-13 12:43 GMT-03:00 Francisco Miraglia <mirag...@ime.usp.br>:
> > 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ê 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/CEBFAB71-7F63-4545-9EDB-EF989801F08D%40ime.usp.br.
>
> --
> 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/CALVp4Y6AidryJRMW%
> 2Bskpq0MqKr4jAYqRZGdCC9pj1uWEP2wn%3DQ%40mail.gmail.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/CAJupc5FQUEJMZrz-BZNK%2BjPTYOFdHe8fh6XkOSfiSAfmu4tPFg%40mail.gmail.com.

Responder a