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.

Autor	Matias Francisco; Weber, Leonardo
Editora	UNESP
ISBN	8539300265
EAN	9788539300266
Categoria	Computação e Informática / Geral
Assunto	Programação / Algoritmos
Páginas	280
Número da Edição	1
Ano da Edição	2010