|
|
libcats.org
Finite Model TheoryHeinz-Dieter Ebbinghaus, Jörg FlumThis is a thoroughly revised and enlarged second edition that 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. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Making Connections: Teaching and the Human BrainАвтор: Renate Nummela Caine, Автор: Geoffrey Caine
Размер книги: 10.39 Mb
Kidney Transplantation: Strategies to Prevent Organ Rejection (Contributions to Nephrology)Автор: Claudio, Автор: Ed. Ronco
Размер книги: 1001 Kb
Implementing Effective Corporate Social Responsibility and Corporate Governance: A FrameworkАвтор: Pavel Castka, Автор: Chris Bamber, Автор: John Sharp
Размер книги: 5.83 Mb
Обработка и визуализация данных физических экспериментов с помощью пакета Origin: Учебно-методическое пособиеАвтор: Исакова О.П., Автор: Тарасевич Ю.Ю.Категория: Профессиональное образование, Математика и естественно-научное образование, Физика, Образование в области техники и технологий, Информатика и информационные технологии, Прикладная информатика (прикладное ПО и системы)
Размер книги: 2.20 Mb
Past Present and Future of International Business and Management (Advances in International Management)Автор: Timothy Devinney
Размер книги: 5.85 Mb
|
|
|