Teoria da recursão

Dias, Matias Francisco (Autor), Weber, Leonardo (Autor)

enumerabilidade discursiva, produtos limitados, redutibilidade de fatores, problema de post, Turing, redutibilidade, teoria da recursão, segundo teorema da recursão de Kleene, curso de valores, m, indecidibilidade, redutibilidade por tabela de verdade, computáveis, funções turing, produtividade de v, predicados recursivos primitivos, teoremas básicos, decidibilidade, indexação de funções

Sinopse

O ponto de partida da teoria da recursão consiste em analisar de maneira conceitual, em termos matematicamente precisos, as noções intuitivas de algoritmo e função algorítmica. Norteia a investigação lógica de nosso tempo e foi alvo de estudos de lógicos e matemáticos como Gödel, Turing, Kleene e Rosser, entre outros do mesmo calibre. Este livro, que preenche uma lacuna na literatura especializada em língua portuguesa e que, segundo Newton da Costa, tende a “se tornar um clássico entre nós”, oferece uma visão clara do que se faz atualmente em um terreno dos mais interessantes e significativos deste campo.

Metadado adicionado por 2BOOKS em 21/05/2021

Encontrou alguma informação errada? Perguntar para a Editora UNESP

ISBN relacionados

--

Metadados completos: