Аннотация:
В рамках алгебраического подхода к синтезу корректных алгоритмов описан и исследован класс задач, в которых для каждого элемента пространства начальных информации определено соответствующее подмножество множества финальных информации (задач с теоретико-множественными ограничениями). Введены понятия полноты для моделей алгоритмов и алгоритмических операторов, для семейств решающих правил и корректирующих операций. Получены и доказаны соответствующие критерии полноты. Библ. 7.
Ключевые слова:алгебраический подход, алгоритмический оператор, классификация, корректирующая операция, модель алгоритмов, полнота, решающее правило, теоретико-множественные ограничения.
Полный текст:
PDF файл (1076 kB)