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: | 9788571395206 |
EAN: | 9788571395206 |
Peso (kg): | 0,000 |
Altura (cm): | 1,00 |
Largura (cm): | 16,00 |
Espessura (cm): | 23,00 |
LÓGICA DE PRIMEIRA ORDEM
- Disponibilidade: Esgotado
-
R$54,00