Счетные булевы алгебры и разрешимость
 |
|
Описание:
Существенно переработанная и дополненная новыми результатами версия книги автора <Счетные булевы алгебры> (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй.Похожие книги
 | Логическое управление. Методы аппаратной и программной реализации алгоритмов Автор: А. А. Шалыто Год: 2002 |
 | Дискретная математика Автор: Ю. П. Шевелев Год: 2008 |
 | Алгебра. Учебник в 2 томах Автор: Глухов М.М., Елизаров В.П., Нечаев А.А. Год: 2003 |
| Курс алгебры Автор: Винберг Э.Б. |
 | Введение в алгебру. Часть 2. Линейная алгебра Автор: А. И. Кострикин Год: 2001 |
 | Градуированные алгебры и 14 проблема Гильберта Автор: И. В. Аржанцев Год: 2009 |