Lógica De Primeira Ordem
Logica De Primeira Ordem
Smullyan, Raymond
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.
Livro recomendado para literatura, leitura, conhecimento, educação, aprendizado, cultura e desenvolvimento pessoal.
Uma leitura indispensável para quem busca conhecimento de qualidade.
Ainda não há avaliações para este produto.
Seja o primeiro a avaliar e ajude outros leitores!
