Тема 5. Логические методы исследования систем управления Лекция 1 ...