Название: Счетные булевы алгебры и разрешимость Автор: Гончаров С.С. Издательство: Научная книга Год: 1996 Формат: pdf Страниц: 373 Размер: 11,64 Мб Язык: русский
Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Навигация
Вход на сайт
Реклама
Счетные булевы алгебры и разрешимость 
