|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О базисе логики троичных цифровых сигналовдипломная работа (Магистр)
- Научный руководитель: Подымов В.В.
- Автор: Куцак Н.Ю.
- Тип: Магистр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2021
- Аннотация: В работе исследуются выразительные возможности логики, предложенной в статье "Формальная верификация диаграмм троичных цифровых сигналов" (Куцак, Подымов, 2019; http://dx.doi.org/10.18255/1818-1015-2019-3-332-350). Основной результат работы - показано, что в языке этой логики все темпоральные операторы, кроме одного (U, "до тех пор пока") являются фиктивными: выразительные возможности языка сохраняются при удалении этих операторов. Иными словами, показано, что U - (темпоральный) базис предложенной логики. Для этого использован широкий спектр приёмов и техник, как аналогичных известным, так и авторских, предназначенных для устранения темпоральных операторов из языка.
- Добавил в систему: Подымов Владислав Васильевич