Ключевое слово: «задача унификации»
Изотов В. Н., Морозова Т. В. Алгоритмизация приближенных методов решения задачи унификации // Научно-методический электронный журнал «Концепт». – 2015. – № 10 (октябрь). – С. 21–25. – URL: http://e-koncept.ru/2015/15339.htm
В. Н. Изотов
Рассмотрены алгоритмы приближенных методов решения одноуровневой многомерной задачи унификации. Приведено обоснование алгоритма отбора переменных, использующего приближённые алгоритмы. Доказана точность получаемых решений, найденных с помощью алгоритма отбора переменных. Исследована эффективность алгоритма.
