Uma Vers O Mais Curta de Teoria DOS Modelos
Hodges, Wilfrid
| Autor: | Hodges, Wilfrid |
|---|---|
| Veröffentlichungsdatum: | 17.12.2012 |
| EAN: | 9781848900950 |
| Sprache: | metaCatalog.groups.language.options.portuguese |
| Seitenzahl: | 338 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | College Publications |
Produktinformationen "Uma Vers O Mais Curta de Teoria DOS Modelos"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen