Finite Model Theory (Perspectives in Mathematical Logic) - Softcover

Ebbinghaus, Heinz-Dieter; Flum, Jörg

 
9783540657583: Finite Model Theory (Perspectives in Mathematical Logic)
Softcover
ISBN 10: 3540657584 ISBN 13: 9783540657583
Verlag: Springer Verlag, 1999

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
3540657584
ISBN 13 
9783540657583
Einband
Tapa blanda
Auflage
2
Anzahl der Seiten
374
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540287872: Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

Vorgestellte Ausgabe

ISBN 10:  3540287876 ISBN 13:  9783540287872
Verlag: Springer, 2005
Hardcover