Lógica de primeira ordem

CARACTERÍSTICAS DO PRODUTO

• Sinopse: 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.
• Informações técnicas: Editora: Editora Unesp, Título: Lógica de primeira ordem
• Autor: Smullyan, Raymond M.
• Ficha técnica: Número de páginas: 208, Edição: 1, Data de publicação: 24.04.2009, Idioma: Português
• Código do produto: 01 - 110100000521ISBN-10 - 8571395209GTIN-13 - 9788571395206ISBN-13 - 9788571395206
• Peso aproximado: Peso do produto: 314.0 gramas.
• Dimensões do produto: Produto: (L x A x P): 16.0 x 23.0 x 10.0 cm.