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

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

0/0


0/0

0/0

0/0