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