Finite Model Theory (Perspectives in Mathematical Logic) - Hardcover

Buch 3 von 187: Springer Monographs in Mathematics

Ebbinghaus, Heinz-Dieter; Flum, Jörg

 
9783540601494: Finite Model Theory (Perspectives in Mathematical Logic)
Hardcover
ISBN 10: 354060149X ISBN 13: 9783540601494
Verlag: Springer, 1995

Inhaltsangabe

Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity 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, and optimization and approximation problems. The book is written in such a way that the resp. parts on model theory and descriptive complexity theory may be read independently.

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

Von der hinteren Coverseite

Finite model theory has its origins in classical model theory, but owes its systematic development to research from complexity 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, and optimization and approximation problems. The book is written in such a way that the resp. parts on model theory and descriptive complexity theory may be read independently.

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

Verlag
Springer
Erscheinungsdatum
1995
Sprache
Englisch
ISBN 10 
354060149X
ISBN 13 
9783540601494
Einband
Gebundene Ausgabe
Anzahl der Seiten
342
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