| Sinopse1 | 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. |
|---|---|
| Autor1 | SMULLYAN, RAYMOND M. |
| ISBN | 9788571395206 |
|---|---|
| Título | Lógica de primeira ordem |
| Editora | EDITORA UNESP |
| Formato | 16 X 23 cm |
| Espessura | 1 cm |
| Páginas | 208 |
| Idioma | Português |
| Assunto | FILOSOFIA |
| Tipo de Capa | LIVRO BROCHURA (PAPERBACK) |
| Edição | 1ª Edição |
| Ano de Publicação | 2009 |
| ISBN | 9788571395206 |
|---|---|
| Título | Lógica de primeira ordem |
| Editora | EDITORA UNESP |
| Formato | 16 X 23 cm |
| Espessura | 1 cm |
| Páginas | 208 |
| Idioma | Português |
| Assunto | FILOSOFIA |
| Tipo de Capa | Brochura com orelhas |
| Edição | 1ª Edição |
| Ano de Publicação | 2009 |
Veja os livros que os outros também se interessam!
Veja os livros que os outros também se interessam!
Veja os livros mais vendidos desta categoria!
Redes Sociais