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: |
L020-9788539300266 |
Código de barras: |
9788539300266 |
Peso (kg): |
0,420 |
Altura (cm): |
23,00 |
Largura (cm): |
16,00 |
Espessura (cm): |
1,30 |
Autor |
Matias Francisco; Weber, Leonardo |
Editora |
UNESP |
Idioma |
Português |
Encadernação |
BROCHURA |
Páginas |
280 |
Ano de edição |
2010 |