Mohlo by sa vám tiež páčiť

Viac informácií o knihe Finite Model Theory

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 480 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Applied mathematics

• Celý názov: Finite Model Theory
• Autor: Heinz-Dieter Ebbinghaus, Jörg Flum
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 360
• EAN: 9783540287872
• ISBN: 3540287876
• ID: 01561114
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1550 g
• Rozmery: 235 × 155 × 27 mm
• Dátum vydania: 06. October 2005

Obľúbené z iného súdka

---

---

---