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

Computabilidade e Lógica

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

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 48,80 + R$ 11,37 de frete Comprar ler descrição ocultar

Descrição Livro novo! N32456 Sinopse: 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

Computabilidade e Lógica

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 48,80 + R$ 11,37 de frete Comprar ler descrição ocultar

Descrição Livro novo! N32456 Sinopse: 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

Computabilidade e Lógica

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Francisco Lira4 Francisco Lira4 SP - Guarulhos
100% Positivas
25 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

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 52,00 + R$ 10,58 de frete Comprar ler descrição ocultar

Descrição Livro novo! - Sinopse: 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.

Computabilidade e Lógica

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 52,00 + R$ 10,58 de frete Comprar ler descrição ocultar

Descrição Livro novo! - Sinopse: 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.

Computabilidade e Lógica

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 52,00 + R$ 10,58 de frete Comprar ler descrição ocultar

Descrição Livro novo! - Sinopse: 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.

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 57,00 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! 440 p. 16X23 ISBN 9788539303663 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. nome completo do autor: George S. Boolos / John P. Burgess / Richard C. Jeffrey;

Computabilidade e lógica Capa ilustrativa

Computabilidade e lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 57,00 + R$ 10,95 de frete Comprar ler descrição ocultar

Descrição Livro novo! 440 p. 16X23 ISBN 9788539303663 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. nome completo do autor: George S. Boolos / John P. Burgess / Richard C. Jeffrey;

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Grazilivros Sebos e Afins Grazilivros Sebos e Afins SP - São Paulo
97% Positivas
670 qualificações
R$ 59,85 + R$ 12,26 de frete Comprar ler descrição ocultar

Descrição Livro em otimo estado adquirido diretamente da Editora . Livro Novo .. ISBN . 9788539303663

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
98% Positivas
4258 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
98% Positivas
4258 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

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 60,80 + R$ 11,37 de frete Comprar ler descrição ocultar

Descrição Livro novo_ Sinopse: 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 acompanh

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 60,80 + R$ 11,37 de frete Comprar ler descrição ocultar

Descrição Livro novo_ Sinopse: 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 acompanh

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 60,80 + R$ 11,79 de frete Comprar ler descrição ocultar

Descrição Livro novo. Sinopse: 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

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Flanarte Flanarte SP - São Paulo
99% Positivas
2293 qualificações
R$ 60,80 + R$ 11,79 de frete Comprar ler descrição ocultar

Descrição Livro novo. Sinopse: 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

Computabilidade e Lógica Capa ilustrativa

Computabilidade e Lógica

Ano:   Editora: Unesp

Tipo: novo

Wtr Livros Wtr Livros SP - Guarulhos
98% Positivas
4258 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
98% Positivas
4258 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
470 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
470 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

Livraria Livro Vivo Livraria Livro Vivo SP - São Paulo
97% Positivas
1557 qualificações
R$ 64,60 + R$ 17,89 de frete Comprar ler descrição ocultar

Descrição livro novo nunca manuseado bk

COMPUTABILIDADE E LÓGICA Capa ilustrativa

COMPUTABILIDADE E LÓGICA

Ano:   Editora: Unesp

Tipo: novo

Mdx Livros Mdx Livros RJ - Rio de Janeiro
99% Positivas
374 qualificações
R$ 76,00 + R$ 11,37 de frete Comprar ler descrição ocultar
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
470 qualificações
R$ 76,00 + R$ 13,63 de frete Comprar ler descrição ocultar

Descrição livro novo.adquirido da editora. Emporio

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
118 qualificações
R$ 76,00 + R$ 11,37 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