• Teoria da recursão

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.

Código: L004-9788539300266
Código de barras: 9788539300266
Peso (kg): 0,420
Altura (cm): 23,00
Largura (cm): 16,00
Espessura (cm): 1,30
Autor Leonardo Matias Francisco; Weber
Editora EDITORA UNESP
Idioma PORTUGUÊS
Encadernação Brochura
Páginas 280
Ano de edição 2010
Número de edição 1

Escreva um comentário

Você deve acessar ou cadastrar-se para comentar.

Teoria da recursão