Название: Счетные булевы алгебры и разрешимость Автор: Гончаров С.С. Издательство: Научная книга Год: 1996 Формат: pdf Страниц: 373 Для сайта:Mirknig.su Размер: 11,64 Мб Язык: русский
Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Конечномерные алгебры Название: Конечномерные алгебры Автор: Дрозд Ю. А., Кириченко В. В. Издательство: Вища школа Год: 1980 Формат: pdf, djvu Страниц: 193 Для сайта:...
Булевы функции Название: Булевы функции Автор: Марченков С. С. Издательство: М.: ФИЗМАТЛИТ Год: 2002 ISBN: 5-9221-0253-2 Формат: pdf Страниц: 72 Размер: 30,5 Мб...
Алгебры Ли и группы Ли Название: Алгебры Ли и группы Ли Автор: Серр Ж. Издательство: М.: Мир Год: 1969 Формат: PDF Страниц: 377 Размер: 38.6 MB Язык: Русский Книга...
Введение в теорию алгебр (2008) Название: Введение в теорию алгебр Автор: Чеботарев Н.Г. Издательство: М.: ЛКИ Год: 2008 Страниц: 88 ISBN: 978-5-382-00473-0 Формат: PDF, DJVU...
Введение в теорию алгебр Ли и их представлений Название: Введение в теорию алгебр Ли и их представлений Автор: Хамфрис Дж. Издательство: М.: МЦНМО Год: 2003 Формат: PDF Страниц: 216 Размер: 29.7...
Булевы алгебры Название: Булевы алгебры Автор: Владимиров Д.А. Издательство: М.: Наука Год: 1969 Формат: pdf Страниц: 319 Размер: 63,2 Mb Язык: Русский Первые две...
Булевы алгебры Название: Булевы алгебры Автор: Сикорский Р. Издательство: М., Мир Год: 1969 Формат: PDF Качество: Отсканированные страницы Страниц: 376 Размер:...
Основные структуры современной алгебры Название: Основные структуры современной алгебры Автор: Ю.А. Бахтурин Год издания: 1990 Издательство: Наука Страниц: 320...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Счетные булевы алгебры и разрешимость 
