Алгоритмизация и программирование для систем логического управления и «реактивных» систем