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