-
DEPARTAMENTOS
- ANIMAIS DE ESTIMAÇÃO
- ARTES
- AUTO AJUDA
-
BEM ESTAR E LAZER
-
CATEGORIAS
-
-
CULINÁRIA E GASTRONOMIA
-
CATEGORIAS
-
-
ESPORTES
-
CATEGORIAS
-
- INFANTIL
-
RELIGIÃO
-
CATEGORIAS
-
- ADMINISTRAÇÃO E NEGÓCIOS
-
CIÊNCIAS BIOLÓGICAS E NATURAIS
-
CATEGORIAS
-
- DIREITO
- ECONOMIA
-
MEDICINA
-
CATEGORIAS
-
-
TODOS DEPARTAMENTOS
-
INTERESSE GERAL
-
LIVROS TÉCNICOS
-
- DISCIPLINAS
- ACESSÓRIOS
- FORMATURA
- PAPELARIA
Uma Vers O Mais Curta de Teoria DOS Modelos
Cód:
491_9781848900950
Uma Vers O Mais Curta de Teoria DOS Modelos
Autor:
Editora:
Código:
491_9781848900950
Vendido e entregue por Um Livro
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nições até o teorema de Morley e as partes elementares dateoria da estabilidade. Além dos resultados padrão tais como os teoremas da compacidade e da omissão de tipos, o livro também descreve várias conexõescom a álgebra, incluindo o método de eliminação de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade,ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O materialsobre equivalências vai-e-vem, interpretações e leis zero-um pode servir como introdução a aplicações de teoria de modelos à ciência da computação. Cadacapítulo termina com um breve comentário sobre a literatura e sugestões de leitura adicional.
Veja maisDescrição do Produto
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nições até o teorema de Morley e as partes elementares dateoria da estabilidade. Além dos resultados padrão tais como os teoremas da compacidade e da omissão de tipos, o livro também descreve várias conexõescom a álgebra, incluindo o método de eliminação de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade,ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O materialsobre equivalências vai-e-vem, interpretações e leis zero-um pode servir como introdução a aplicações de teoria de modelos à ciência da computação. Cadacapítulo termina com um breve comentário sobre a literatura e sugestões de leitura adicional.
Geral
| Selo | College Publications |
|---|---|
| Edição | 0 |
| Idioma | Português |
| Autores | Wilfrid Hodges |
| Acabamento | Capa Comum |
| Quantidade de Páginas | 338 |
| Origem | Literatura Estrangeira |
