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