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