Темпоральная логика троичных цифровых сигналовдипломная работа (Бакалавр)