Computabilidade e lógica
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.
R$100,00
Ou 3x de R$33,33 s/ juros
Informações
- Autor: Boolos, John P. Burgess George S. (Autor)
- Edição: 1
- Ano da Edição: 2012
- Editora: Editora UNESP
- Nº de Páginas: 440
- ISBN: 9788539303663
Produtos Relacionados
Teoria das cordas para leigos
Ou 3x de R$26,33 s/ juros
Ciência de dados, business intelligence e big data: conceitos e aplicações
R$50,00Ou 3x de R$16,67 s/ juros
Física mecânica
Ou 3x de R$38,73 s/ juros
Análise de sistemas eletromagnéticos
Ou 3x de R$48,53 s/ juros
