Uma Versao Mais Curta De Teoria Dos Modelos (Portuguese, Paperback)

Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nicoes ate o teorema de Morley e as partes elementares da teoria da estabilidade. Alem dos resultados padrao tais como os teoremas da compacidade e da omissao de tipos, o livro tambem descreve varias conexoes com a algebra, incluindo o metodo de eliminacao 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 equivalencias vai-e-vem, interpretacoes e leis zero-um pode servir como introducao a aplicacoes de teoria de modelos a ciencia da computacao. Cada capitulo termina com um breve comentario sobre a literatura e sugestoes de leitura adicional.

General

Imprint:	College Publications
Country of origin:	United Kingdom
Release date:	December 2012
First published:	December 2012
Authors:	Wilfrid Hodges
Translators:	Ruy J. G. B De Queiroz
Dimensions:	234 x 156 x 17mm (L x W x T)
Format:	Paperback - Trade
Pages:	338
ISBN-13:	978-1-84890-095-0
Languages:	Portuguese
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Promotions
LSN:	1-84890-095-3
Barcode:	9781848900950

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!