Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

[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

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

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

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

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 wrote: > > Além dessas indicações do Rodrigo, você pode também dar uma

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

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