• Lógica de primeira ordem

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 à T eoria 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.

Código: L112-9788571395206
Código de barras: 9788571395206
Peso (kg): 0,314
Altura (cm): 23,00
Largura (cm): 16,00
Espessura (cm): 1,00
Autor Smullyan, Raymond M.
Editora UNESP
Idioma Português
Encadernação BROCHURA
Páginas 208
Ano de edição 2009

Escreva um comentário

Você deve acessar ou cadastrar-se para comentar.

Lógica de primeira ordem

  • R$54,00