Área do cliente
Computabilidade e Lógica
BOOLOS; BURGESS; JEFFREY
UNESP EDITORA
100,00
Sob encomenda
8 dias
Sinopse
Detalhes
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.
SKU
217600
Autor
BOOLOS; BURGESS; JEFFREY
Editora
UNESP EDITORA
ISBN
9788539303663
EAN
9788539303663
Categoria
Ciências Exatas
Assunto
Matemática
Páginas
435
Número da Edição
Ano da Edição
2012
Encadernação
brochura
Copyright © 2015-2025 Catavento
- Powered by
Ao navegar no nosso site você declara estar de acordo com nossa
Política de Privacidade