COMPUTABILIDADE E LÓGICA

COMPUTABILIDADE E LÓGICA

COMPUTABILIDADE E LÓGICA

  • EditoraUNESP
  • Modelo: 7403663
  • Disponibilidade: Em estoque
  • R$ 86,40

    R$ 96,00
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.
Características
Autor GEORGE S. BOOLOS, JOHN P. BURGESS, RICHARD C. JEFF
Biografia 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.
Comprimento 23
Edição 1
Editora UNESP
ISBN 9788539303663
Largura 16
Páginas 436

Escreva um comentário

Você deve acessar ou cadastrar-se para comentar.