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.
- Editora: EDITORA UNESP
- Autores: AUTOR(A): SMULLYAN, RAYMOND M. | Traduzido por: LOPARIC, ANDREA | Traduzido por: MAZAK, RENE PIERRE | Traduzido por: VICENTE, LUCIANO
- ISBN: 9788571395206
- Capa: Brochura
- Edição: 1ª EDIÇÃO - 2009
- Formato: 16.00 x 23.00 cm
- Páginas: 208
Produtos relacionados
Conteúdo
Sobre a loja
A Livraria da Tarde nasce do sonho de oferecer à cidade um espaço aconchegante, repleto de livros, com uma seleção especial de literatura geral, artes, ciências humanas e livros infanto-juvenis, no bairro de Pinheiros em São Paulo. Um espaço charmoso, onde o cheiro dos livros se mistura com o cheiro do café, salgados e doces deliciosos da Cafeteria da Tarde. Entregamos para todo o Brasil.
Pague com
Selos
Livraria da Tarde - CNPJ: 34.999.877/0001-50 © Todos os direitos reservados. 2025
