Książka Finite Model Theory Heinz-Dieter Ebbinghaus

Finite Model Theory

Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-18 dni
775.79
Finite model theory has roots in classical model theory, but owes its systematic development to rese...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2005
strony
360
EAN
9783540287872
ISBN
3540287876
Enbook ID
01561114
Waga
1550
Wymiary
155 x 235 x 27

Pełny opis

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.§

Możesz być zainteresowany

Recursion Theory Week

Heinz-Dieter Ebbinghaus
212.38

Tokyo Jazz Joints

Philip Arneill
165.32

Beyond Order

Jordan B. Peterson
41.49
245.70
34.67

Klienci, którzy kupili tę książkę, kupili również

99.17

MOLINS DEL COLLSACABRA

FRANCESC ROMA I CASANOVAS
74.33