Uma Vers O Mais Curta de Teoria DOS Modelos
Autor: | Hodges, Wilfrid |
---|---|
EAN: | 9781848900950 |
Sachgruppe: | Informatik, EDV |
Sprache: | metaCatalog.groups.language.options.portuguese |
Seitenzahl: | 338 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 17.12.2012 |
28,00 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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 da teoria 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ões com 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 material sobre 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. Cada capítulo termina com um breve comentário sobre a literatura e sugestões de leitura adicional.