Kniha Finite Model Theory Heinz-Dieter Ebbinghaus

Finite Model Theory

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
4 425
Finite model theory has roots in classical model theory, but owes its systematic development to rese...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2005
Stránek
360
EAN
9783540287872
ISBN
3540287876
Enbook ID
01561114
Hmotnost
1550
Rozměry
155 x 235 x 27

Kompletní popis

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database theory. 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, optimization and approximation problems.§

Mohlo by vás zajímat

Recursion Theory Week

Heinz-Dieter Ebbinghaus
1 146
1 224

Tokyo Jazz Joints

Philip Arneill
888

Beyond Order

Jordan B. Peterson
228
1 756
185

Zákaznicí kteří koupili tuto knihu koupili také

537

MOLINS DEL COLLSACABRA

FRANCESC ROMA I CASANOVAS
423