Zobacz książki o podobnej tematyce

Więcej informacji o Finite Model Theory

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 549 punkty

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

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Applied mathematics

• Pełny tytuł: Finite Model Theory
• Autor: Heinz-Dieter Ebbinghaus, Jörg Flum
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 360
• EAN: 9783540287872
• ISBN: 3540287876
• ID: 01561114
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 1550 g
• Wymiary: 235 × 155 × 27 mm
• Data wydania: 06. October 2005

Ulubione w innej kategorii

---

---

---