Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Finite Model Theory and Its Applications Moshe Y. Vardi

Finite Model Theory and Its Applications

Szerző: Moshe Y. Vardi, S. Weinstein
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
33 854 Ft
This book gives a broad overview of core topics of finite model theory: expressive power, descriptiv...

Információk a könyvről

Szerző
Moshe Y. Vardi, S. Weinstein
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2003
oldal
440
EAN
9783540004288
ISBN
3540004289
Enbook ID
01556129
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
846
Méretek
155 x 235 x 30

Teljes leírás

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.

Érdekelheti

Finite Model Theory and Its Applications

Leonid (University of Edinburgh) Libkin
28 217 Ft

Elements of Finite Model Theory

Leonid Libkin
38 357 Ft

The Rust Programming Language, 3rd Edition

Steve Klabnik
15 991 Ft

Reference

Barbara Abbott
20 936 Ft

Schwarz Black

Katrin Trautwein
41 671 Ft

Creation in Paul and Philo

Jonathan Worthington
39 237 Ft

Hammer of Libertas

WICCED SCHULTHEISS
9 662 Ft

Primrose's Curse

Kiara Shankar
9 264 Ft

Wonder Woman and the Cheetah Challenge

Leonel Castellani
2 408 Ft

Philosophia Prima Sive Ontologia, Methodo Scientifica Pertractata, Qua Omnis Cognitionis Humanae Principia Continentur (1736)

Christian Wolff
13 767 Ft

Christmas Wishes at the Chocolate Shop

Jessica Redland
1 188 Ft

Rust

Nouman Azam
17 010 Ft

Hardware Security

Tobias Scheible
19 788 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Jedině ty

Karla Sorensen
4 632 Ft

Začátek něčeho krásného

Jessica Redland
4 972 Ft