|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Решение булевских уравнений проблема выполнимостиучебный курс
- Авторы: Гуров С.И., Дьяконов А.Г.
- Год создания: 2012
- Организация: МГУ имени М.В. Ломоносова
- Описание: Учебный курс "Решение булевских уравнений проблема выполнимости" состоит из двух разделов. Первый посвящён вопросам решения булевых уравнений. В последнее время методы решения булевых уравнений становятся всё более востребованными при синтезе цифровых управляющих устройств. В тоже время отсутствуют учебные курсы и пособия, полно охватывающее эти вопросы. В данном разделе курса будут рассмотрены теоретические вопросы булевой алгебры, современной теории булевых функций, в т. ч. булево дифференциальное и интегральное исчисления, различные подходы к решению булевых уравнений различных типов и применение результатов к синтезу цифровых устройств. Во втором разделе курса курсе рассматривается проблема выполнимости (SAT) на примере выполнимости конъюнктивной нормальной формы (КНФ). Изучаются два типа алгоритмов: неполные (которые не перебирают всё пространство булевых наборов) и полные. Вводится классификация неполных алгоритмов как алгоритмов оптимизации чёрного ящика (метаэвристик), рассматриваются приложения таких алгоритмов в различных областях современной математики.
- Добавил в систему: Гуров Сергей Исаевич