Mohlo by se vám také líbit

Více informací o knize Finite Model Theory

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 456 bodů

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

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Applied mathematics

• Plný název: Finite Model Theory
• Autor: Heinz-Dieter Ebbinghaus, Jörg Flum
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 360
• EAN: 9783540287872
• ISBN: 3540287876
• ID: 01561114
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1550 g
• Rozměry: 235 × 155 × 27 mm
• Datum vydání: 06. October 2005

Oblíbené z jiného soudku

---

---

---