Смотреть видео: ОСНОВНЫЕ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ОПИСАНИЯ ЛОГИЧЕСКИХ СИСТЕМ УПРАВЛЕНИЯ