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.
- Editora: EDITORA UNESP
- Autores: AUTOR: WEBER, LEONARDO | AUTOR: DIAS, MATIAS FRANCISCO
- ISBN: 9788539300266
- Capa: Brochura
- Edição: 1ª EDIÇÃO - 2010
- Formato: 16.00 x 23.00 cm
- Páginas: 280
Produtos relacionados
Conteúdo
Sobre a loja
A Livraria da Tarde nasce do sonho de oferecer à cidade um espaço aconchegante, repleto de livros, com uma seleção especial de literatura geral, artes, ciências humanas e livros infanto-juvenis, no bairro de Pinheiros em São Paulo. Um espaço charmoso, onde o cheiro dos livros se mistura com o cheiro do café, salgados e doces deliciosos da Cafeteria Selo Verde. Entregamos para todo o Brasil por meio do nosso site www.livrariadatarde.com.br
Pague com
Selos
Livraria da Tarde - CNPJ: 34.999.877/0001-50 © Todos os direitos reservados. 2024
