|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Кванторные определения и бескванторная выразимость в логике предикатовдипломная работа (Специалист)
- Научный руководитель: Подколзин А.С.
- Автор: Капустин Ю.С.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2020
- Аннотация: В работе найдены базисы бескванторной выразимости для кванторно определимых понятий в ряде алгебраических систем. Рассматривались как случаи с ограниченной глубиной кванторных конструкций, так и без ограничения глубины.
- Добавил в систему: Подколзин Александр Сергеевич