A Compra Garantida Estante Virtual é uma garantia de que você receberá a encomenda ou o reembolso do valor da sua compra. Saiba mais aqui.

  • 1.350 sebos e livreiros
  • Qualificações positivas dos livreiros
  • Maior acervo do mundo em língua portuguesa
filtros
Computabilidade e Logica Capa ilustrativa

Computabilidade e Lógica

George S. Boolos

Referência por apresentar questões complexas do estudo de Lógica de forma acessível, este livro dirige-se, em especial, a estudantes de Filosofia e Matemática, mas pode ser útil inclusive a alunos de outras áreas, ainda que não dominem as ciências exatas em profundidade. Alternativa para os que almejam obter conhecimento mais avançado sobre o assunto em relação ao que conseguiriam por meio de cursos introdutórios, o volume aborda um leque amplo de tópicos, entre os quais se incluem a teoria da computabilidade de Turing e o teorema de Ramsey. Compêndio dos resultados teóricos fundamentais sobre a Lógica, o volume aborda essencialmente os teoremas de Gödel, o teorema de completude e, com mais ênfase, os teoremas de incompletude, com os lemas e corolários que os acompanham. Quanto aos resultados metalógicos, inclui dois tipos. Primeiramente, a teoria das máquinas de Turing, que, omitida com freqüência em obras competentes, é abordada neste livro em exposição extensa, que ocupa cerca de um terço de suas mais de 400 páginas. A obra trata também dos teoremas sobre (in)definibilidade, (in)decidibilidade e (in)completude, além de tópicos relacionados, que integram uma seleção equivalente a aproximadamente outro terço do volume. Escrito por George S. Boolos e Richard C. Jeffrey e publicado pela primeira vez em 1974, Computabilidade e lógica foi frequentemente atualizado. Esta quinta edição incorpora os acréscimos da revisão técnica feita por John Burgess, que reformulou sua estrutura a fim de priorizar sua utilidade pedagógica. Entre as intervenções, Burgess acrescentou exemplos ao final de cada capítulo e propôs roteiros de leitura que possibilitam diversas modalidades de aproximação do leitor com as temáticas propostas. ?Tentamos tornar a exposição tão agradável à leitura quanto fosse compatível com a apresentação de provas completas, usar as demonstrações mais elegantes que conhecíamos, empregar uma notação padrão e reduzir em geral o grau de complicação?, explicam Boolos e Jeffrey. Fechar Ler mais

Referência por apresentar questões complexas do estudo de Lógica de forma acessível, este livro dirige-se, em especial, a estudantes de Filosofia e Matemática, mas pode ser útil inclusive a alunos de outras áreas, ainda que não dominem as ciências exatas em profundidade. Alternativa para os que almejam obter conhecimento mais avançado sobre o assunto em relação ao que conseguiriam por meio de cursos introdutórios, o volume aborda um leque amplo de tópicos, entre os quais se incluem a teoria da computabilidade de Turing e o teorema de Ramsey. Compêndio dos resultados teóricos fundamentais sobre a Lógica, o volume aborda essencialmente os teoremas de Gödel, o teorema de completude e, com mais ênfase, os teoremas de incompletude, com os lemas e corolários que os acompanham. Quanto aos resultados metalógicos, inclui dois tipos. Primeiramente, a teoria das máquinas de Turing, que, omitida com freqüência em obras competentes, é abordada neste livro em exposição extensa, que ocupa cerca de um terço de suas mais de 400 páginas. A obra trata também dos teoremas sobre (in)definibilidade, (in)decidibilidade e (in)completude, além de tópicos relacionados, que integram uma seleção equivalente a aproximadamente outro terço do volume. Escrito por George S. Boolos e Richard C. Jeffrey e publicado pela primeira vez em 1974, Computabilidade e lógica foi frequentemente atualizado. Esta quinta edição incorpora os acréscimos da revisão técnica feita por John Burgess, que reformulou sua estrutura a fim de priorizar sua utilidade pedagógica. Entre as intervenções, Burgess acrescentou exemplos ao final de cada capítulo e propôs roteiros de leitura que possibilitam diversas modalidades de aproximação do leitor com as temáticas propostas. ?Tentamos tornar a exposição tão agradável à leitura quanto fosse compatível com a apresentação de provas completas, usar as demonstrações mais elegantes que conhecíamos, empregar uma notação padrão e reduzir em geral o grau de complicação?, explicam Boolos e Jeffrey. Fechar Ler mais

Estatísticas de venda deste livro

Último vendido Nos últimos 3 meses
Vendidos
Preço médio R$ " + data.stats.mean + "
Menor preço R$ " + data.stats.min + "
Maior preço R$ " + data.stats.max + "

Esta informação aparece apenas para usuários logados como livreiros.

Computabilidade e lógica

Capa ilustrativa

Computabilidade e lógica

Capa ilustrativa
Exibindo todas as publicações encontradas. Filtre pelas mais recentesRemover filtro
Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 49,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! X 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e Lógica

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Francisco Lira4 Francisco Lira4 SP - Guarulhos
100% Positivas
40 qualificações
R$ 51,20 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição # Referência por apresentar questões complexas do estudo de Lógica de forma acessível, este livro dirige-se, em especial, a estudantes de Filosofia e Matemática, mas pode ser útil inclusive a alunos de outras áreas, ainda que não dominem as ciências exatas em profundidade. Alternativa para os que almejam obter conhecimento mais avançado sobre o assunto em relação ao que conseguiriam por meio de cursos introdutórios, o volume aborda um leque amplo de tópicos, entre os quais se incluem a teoria da computabilidade de Turing e o teorema de Ramsey. Compêndio dos resultados teóricos fundamentais sobre a Lógica, o volume aborda essencialmente os teoremas de Gödel, o teorema de completude e, com mais ênfase, os teoremas de incompletude, com os lemas e corolários que os aco

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Klaxon livros Klaxon livros SP - São Paulo
98% Positivas
652 qualificações
R$ 57,00 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo. 440 p. 16x23 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 Godel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
95% Positivas
3592 qualificações
R$ 60,04 + R$ 9,26 de frete Comprar ler descrição ocultar

Descrição Livro novo e sem uso. / EAN 9788539303663 - FFB

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
95% Positivas
3592 qualificações
R$ 60,04 + R$ 9,26 de frete Comprar ler descrição ocultar

Descrição Livro novo e sem uso. / EAN 9788539303663 - FFB

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
95% Positivas
3592 qualificações
R$ 61,56 + R$ 9,26 de frete Comprar ler descrição ocultar

Descrição Livro novo e sem uso. / EAN 9788539303663 - FFK

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
95% Positivas
3592 qualificações
R$ 61,56 + R$ 9,26 de frete Comprar ler descrição ocultar

Descrição Livro novo e sem uso. / EAN 9788539303663 - FFK

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
95% Positivas
3592 qualificações
R$ 61,56 + R$ 9,26 de frete Comprar ler descrição ocultar

Descrição Livro novo e sem uso. / EAN 9788539303663 - FFK

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Sociedade dos Livros Sociedade dos Livros SP - São Paulo
98% Positivas
368 qualificações
R$ 64,00 + R$ 12,79 de frete Comprar ler descrição ocultar

Descrição livro novo. Adquirido recentemente

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Sociedade dos Livros Sociedade dos Livros SP - São Paulo
98% Positivas
368 qualificações
R$ 64,00 + R$ 12,79 de frete Comprar ler descrição ocultar

Descrição livro novo. Adquirido recentemente

COMPUTABILIDADE E LÓGICA Capa ilustrativa

COMPUTABILIDADE E LÓGICA

Ano:   Editora: Unesp

Tipo: novo

Mdx Livros Mdx Livros RJ - Rio de Janeiro
98% Positivas
339 qualificações
R$ 64,60 + R$ 11,79 de frete Comprar ler descrição ocultar

Descrição Livro novo, em perfeito estado para leitura.

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Livro Rapido2 Livro Rapido2 SP - São Paulo
94% Positivas
53 qualificações
R$ 76,00 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição *** Livro Novo Lacrado***

Avaliações do livro

Ainda não há avaliações para este título, seja o primeiro a avaliar.

Avalie o livro