DEEDS: Формализация правил голосовая для предупреждения столкновений судов

Приведены пара примеров задач по формализации правил для предупреждения столкновений судов. Логическое решение примеров реализовано в логическом симуляторе DEEDS. Подготовка презентации, озвучивание и монтаж видео: Степан Луговой. Презентация подготовлена на основе научной публикации: Астреин, В. В. Формализация правил голосования для предупреждения столкновений судов / В. В. Астреин, Л. Б. Астреина // Эксплуатация морского транспорта. – 2018. – № 3(88). – С. 33-36. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://dzen.ru/video/watch/65361316ac1eaf2192d4e80d.