Finite Model Theory / Perspectives in Mathematical Logic (PDF)
First Edition
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 106.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Finite Model Theory / Perspectives in Mathematical Logic (PDF)“
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.
Bibliographische Angaben
- Autoren: Heinz-Dieter Ebbinghaus , Jörg Flum
- 2013, 1995, 327 Seiten, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3662031825
- ISBN-13: 9783662031827
- Erscheinungsdatum: 29.06.2013
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 43 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Finite Model Theory / Perspectives in Mathematical Logic"
0 Gebrauchte Artikel zu „Finite Model Theory / Perspectives in Mathematical Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Finite Model Theory / Perspectives in Mathematical Logic".
Kommentar verfassen