Lógica de primeira ordem

Por: R$ 58,00

Preço a vista: R$ 58,00

Calcule o valor do frete e prazo de entrega para a sua região

Descrição do Produto

A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de sentenças dedutíveis a partir deles.Este livro serve como introdução à Teoria da Quantificação e como uma exposição de novos resultados e técnicas concernentes aos métodos analíticos ou sem corte, além de enfatizar o ponto de vista dos tableaux em virtude de sua fascinante simplicidade e elegância matemática..

Livro

Número de Páginas208
AutorSmullyan, raymond m.
EAN/ISBN9788571395206
DimensõesPeso (kg) 0.314 | AxLxC (cm) 23.00x16.00x1.00
EditoraUnesp
ISBN 108571395209
Ano da Edição2009
Data Publicação24/04/2009
EncadernaçãoBrochura
  • VTEX

Copyright © 2013. Todos os direitos reservados.
Todas as marcas e suas imagens são de propriedade de seus respectivos donos.
É vedada a reprodução, total ou parcial, de qualquer conteúdo sem expressa autorização.