Uma Vers O Mais Curta de Teoria DOS Modelos

Editora:

College Publications

Código:

491_9781848900950

Vendido e entregue por Um Livro

De: R$ 0,00Por: R$ 221,70ou 3X de R$ 73,90

Comprar

Sinopse
Características

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 mais

Calcule o valor do frete e prazo de entrega para a sua região