| Uma Vers O Mais Curta de Teoria DOS Modelos Contributor(s): Hodges, Wilfrid (Author), de Queiroz, Ruy J. G. B. (Translator) |
|
 |
ISBN: 1848900953 ISBN-13: 9781848900950 Publisher: College Publications OUR PRICE: $23.75 Product Type: Paperback Language: Portuguese Published: December 2012 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Mathematics |
| Dewey: 511.8 |
| Physical Information: 0.7" H x 6.14" W x 9.21" (1.04 lbs) 338 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |