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