Pular para o conteúdo
Ciências Exatas

Finite Model Theory

2ª Edição - 2005360 páginasSpringer Verlagpt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.

Planeje no seu ritmo

Quanto tempo leva para ler Finite Model Theory?

Esta edição tem 360 páginas. Escolha uma meta diária possível e ajuste o plano conforme a leitura avançar.

Ritmo tranquilo

36 dias

10 páginas por dia

Ritmo constante

18 dias

20 páginas por dia

Ritmo intenso

12 dias

30 páginas por dia

Detalhes do livro

Título
Finite Model Theory
Autor
Heinz-Dieter | Flum Jorg Ebbinghaus
Editora
Springer Verlag
Ano
2005
Páginas
360 páginas
Idioma
PT
ISBN-13
9783540287872
Edição
2ª Edição - 2005
Formato
Hardcover

Ciências Exatas

Livros na mesma categoria

Sua vida de leitura

A leitura de Finite Model Theory pode continuar na Lireo

A Lireo é uma plataforma para organizar sua estante, registrar páginas e impressões, publicar resenhas e encontrar pessoas que estão lendo os mesmos livros.

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras