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óg icos 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", ofe rece uma visão clara do que se faz atualmente em um terreno dos mais interessantes e significativos deste campo.
Código: | 9788539300266 |
EAN: | 9788539300266 |
Peso (kg): | 0,000 |
Altura (cm): | 1,30 |
Largura (cm): | 16,00 |
Espessura (cm): | 23,00 |
TEORIA DA RECURSÃO
- Disponibilidade: Esgotado
-
R$69,00