Computabilidade e Lуgica

Computabilidade e Lуgica
Autor: George S. Boolos, John P. Burgess, Richard C. Jeffrey

Sinopse – Computabilidade e Lуgica

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.

Computabilidade e Lуgica

Por favor, compartilhe este livroShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedIn

A informação nesta página está disponível apenas para referência.
Você pode comprar ou baixar este livro online - amazon.com.br