|
Uma Vers O Mais Curta de Teoria DOS Modelos
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Lieferstatus: |
i.d.R. innert 7-14 Tagen versandfertig |
Veröffentlichung: |
Dezember 2012
|
Genre: |
EDV / Informatik |
ISBN: |
9781848900950 |
EAN-Code:
|
9781848900950 |
Verlag: |
College Publications |
Einband: |
Kartoniert |
Sprache: |
Portugiesisch
|
Dimensionen: |
H 234 mm / B 156 mm / D 18 mm |
Gewicht: |
515 gr |
Seiten: |
338 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
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. |
|