Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Finite Model Theory and Its Applications

Name: Finite Model Theory and Its Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540004288
Price: 378.13 PLN
Availability: InStock

Autor: Moshe Y. Vardi, S. Weinstein

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

378.13 zł

This book gives a broad overview of core topics of finite model theory: expressive power, descriptiv...

Informacje o książce

Autor

Moshe Y. Vardi, S. Weinstein

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2003

strony

440

EAN

9783540004288

ISBN

3540004289

Enbook ID

01556129

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

846

Wymiary

155 x 235 x 30

Pełny opis

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. §Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.