|
libcats.org
Finite Model Theory and Its ApplicationsErich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott WeinsteinThis book gives a comprehensive overview of central themes of finite model theory ? expressive power, descriptive complexity, and zero-one laws ? together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing 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.The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraisse pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI.Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
![]() Сто лет одиночестваАвтор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
![]() Профессиональная разработка в системе 1С Предприятие 8Автор: Габец А.П., Автор: Гончаров Д.И., Автор: Радченко М.Г.(ред.)Категория: Офисные программы бизнес-приложения
Размер книги: 18.19 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() The Fictions of James Joyce and Wyndham Lewis: Monsters of Nature and DesignАвтор: Scott W. KleinКатегория: Наука (общее), Научно-популярное
Размер книги: 4.83 Mb
![]() Materials Science and Engineering An Introduction,9th EditionАвтор: William D. Callister Jr., Автор: David G. Rethwisch
Размер книги: 32.11 Mb
Только что пользователи скачали эти книги:
![]() Безопасность сети на основе Microsoft Windows Server 2003 Уч. курс. Microsoft Пер. с англ.М., Изд. торг. дом Рус. РедАвтор: Брэгг Роберта
Размер книги: 91.50 Mb
![]() Системный подход к организации в менеджментеАвтор:Категория: Менеджмент управление логистика
Размер книги: 1.31 Mb
![]() Фокусированное интервью. Перевод с англ. к.э.н.Т. Н. ФедоровскойАвтор: Мертон Р., Автор: Фиске М., Автор: Кендалл П., Автор: Белановский С.А. (ред.)Категория: Общественные науки политология социология
Размер книги: 868 Kb
![]() Явление социальной установки в психологии ХХ века. Монография. Калинингр. ун-тАвтор: Девяткин А.А.Категория: Психология практическая
Размер книги: 1.40 Mb
![]() Концепция контроллинга. Управленческий учет. Система отчетности. БюджетированиеАвтор:Категория: Экономика экономические науки
Размер книги: 11.75 Mb
|
|