Викладено алгебричний підхід до побудови алгоритму розв'язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебричних систем конструктивно визначається спеціальна алгебра <$E A sub roman constr>, у якій система лінійних нерівностей представлена як вираз. Розв'язання цієї системи полягає в обчисленні значення даного виразу як елемента алгебри <$E A sub roman constr>-канонічної форми системи лінійних нерівностей. Результат застосування цього підходу до задачі, яка розглядається, - алгебричні специфікації алгебри <$E A sub roman constr>.

  Повний текст PDF - 200.823 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"