Computabilidade e Lógica
- Autor:
- Boolos, George S. (veja mais livros deste autor)
Burgess, John P. (veja mais livros deste autor)
Jeffrey, Richard C. (veja mais livros deste autor)
Mortari, Cezar A. (veja mais livros deste autor) - Editora:
- Unesp(veja mais livros desta editora)
De: R$ 96,00
Por: R$ 72,96
Em 3x de: R$ 24,32
No boleto: R$ 72,96
- 1x de R$ 72,96 sem juros
- 2x de R$ 36,48 sem juros
- 3x de R$ 24,32 sem juros
Sinopse
Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Gödel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.
Ficha técnica
- Código de barras:
- 9788539303663
- Dimensões:
- 2.29cm x 16.00cm x 23.00cm
- Edição:
- 1ª-Edição 2012
- Data da Edição:
- 01/01/2012
- Marca:
- Unesp
- Idioma:
- Inglês
- ISBN:
- 8539303663
- ISBN13:
- 9788539303663
- Número de páginas:
- 440
- Peso:
- 630 gramas
- Encadernação:
- Brochura/Capa Mole
- Tags:
- Matemática;Ensino de Matemática;Matemático;Ciências Exatas