Lógica de Primeira Ordem
Código: 9788571395206
Categoria: Matemática
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.Acabamento | brochura |
---|
Páginas | 188 |
---|
Formato | 16x23 |
---|
Lombada | 1.1 |
---|
Altura | 1.1 |
---|
Largura | 16 |
---|
Comprimento | 23 |
---|
Data de publicação | 30/07/2018 |
---|
| 1 |
---|
Código de Barras | 9788571395206 |
---|