Kniha Finite Model Theory Heinz-Dieter Ebbinghaus

Finite Model Theory

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
192.51
Finite model theory has roots in classical model theory, but owes its systematic development to rese...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2005
Stránok
360
EAN
9783540287872
ISBN
3540287876
Enbook ID
01561114
Hmotnosť
1550
Rozmery
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 zaujímať

Recursion Theory Week

Heinz-Dieter Ebbinghaus
50.03
74.27

Tokyo Jazz Joints

Philip Arneill
38.94

Beyond Order

Jordan B. Peterson
13.53
76.04
7.64

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

23.34

MOLINS DEL COLLSACABRA

FRANCESC ROMA I CASANOVAS
17.46