Frete Grátis
  • Google Plus

Computabilidade e Lógica (Cód: 4897195)

Burgess,John P.; Jeffrey,Richard C.; Boolos,George S.

Unesp

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 76,00 em até 2x de R$ 38,00 sem juros
Cartão Saraiva R$ 72,20 (-5%) em até 1x no cartão ou em até 3x de R$ 25,33 sem juros
Grátis

Cartão Saraiva

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 acompanham. Quanto aos resultados metalógicos, inclui dois tipos. Primeiramente, a teoria das máquinas de Turing, que, omitida com frequê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

Produto sob encomenda Não
Editora Unesp
Cód. Barras 9788539303663
Altura 23.00 cm
I.S.B.N. 9788539303663
Profundidade 2.00 cm
Acabamento Brochura
Número da edição 1
Ano da edição 2013
Idioma Português
Número de Páginas 435
Peso 0.63 Kg
Largura 16.00 cm
AutorBurgess,John P.; Jeffrey,Richard C.; Boolos,George S.

Avaliações

Avaliação geral: 0

Você está revisando: Computabilidade e Lógica