Формализация и представление исходной задачи в виде, пригодном для автоматизированного поиска решения компьютерной системой.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.