Livro

Lógica de primeira ordem

Raymond M. Smullyan
R$42,00
Comprar

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.

  • Tradução: René Pierre Mazak, Luciano Vicente, Andrea Loparic
  • Assuntos: Ciências Exatas / Filosofia
  • Ano: 2009
  • Acabamento: Brochura com orelhas
  • Páginas: 208
  • Edição: 1
  • ISBN: 9788571395206
  • Peso: 314g
  • Formato: 16 X 23

Autores

Veja Também