URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Гончаров С.С. Счетные булевы алгебры
Id: 103994
 

Счетные булевы алгебры

1988. 176 с. Мягкая обложка. ISBN 5-02-028628-1. Букинист. Состояние: 4. Есть погашенная библиотечная печать.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

Главный объект исследования монографии --- алгебраические теоретико-модельные и алгоритмические свойства булевых алгебр. Изучение алгебраических свойств базируется на двух фундаментальных фактах: теореме Стоуна и критерии изоморфизма Воота. Используются также методы деревьев и линейно-упорядоченных базисов. На основе метода насыщенных моделей получена характеризация Ершова --- Тарского элементарных теорий булевых алгебр и модельная полнота. Описываются методы конструирования булевых алгебр с заданными алгоритми-ческими свойствами.

Для научных работников, аспирантов, студентов, занимающихся или интересующихся проблемами математической логики, теории алгоритмов и алгебры, а также для желающих познакомиться с основами теории булевых алгебр и некоторыми современными направлениями ее развития.


 ОГЛАВЛЕНИЕ

Предисловие

Глава I

Алгебраические свойства булевых алгебр... 6

§ 1. Определения и простейшие свойства булевых

алгебр...........  

§ 2. Идеалы и фактор-алгебры булевых алгебр.. 17 § 3. Теорема Стоуна о представлении булевых алгебр............ 22

§ 4. Критерий Воота......... 27

§ 5. Линейно упорядоченные порождающие множества........... 35

§ 6. Порождающие деревья....... 40

Глава П

Элементарная классификация булевых алгебр.... 48

§ 1. Определимые идеалы Ершова --- Тарского и

элементарные характеристики булевых алгебр ---

§ 2. Насыщенные булевы алгебры и элементарная

классификация.........55

§ 3. Моделыю-полные теории булевых алгебр.. 61

§ 4. Непротиворечивые полные теории булевых алгебр............69

Глава III

Конструктивные булевы алгебры.......78

§ 1. Основные понятия теории алгоритмов и конструктивных моделей........79

§ 2. Конструктивность в линейных порядках и булевых алгебрах.........91

§ 3. Порождающие деревья конструктивных булевых алгебр..........Ю1

§ 4. Копструктивизируемость и сильная конструк-

тивизируемость......... 112

§ 5. Алгоритмическая размерность булевых алгебр 133

§ 6. Алгоритмические свойства подалгебр и фактор-алгебр конструктивных булевых алгебр.. 148

Открытые вопросы...........170

Список литературы...........171

 
© URSS 2016.

Информация о Продавце