Vtome.ru - электронная библиотека

Счетные булевы алгебры и разрешимость

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

Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.












ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!


ПРАВООБЛАДАТЕЛЯМ


СООБЩИТЬ ОБ ОШИБКЕ ИЛИ НЕ РАБОЧЕЙ ССЫЛКЕ



Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.