формалізація
ФОРМАЛІЗА́ЦІЯ, ї, ж.
У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами, а всіх змістових тверджень формулами.
На другому етапі формується формалізована математична модель задачі шляхом формалізації додаткової інформації, яка відображає суб'єктивні переваги особи, що приймає рішення (із журн.).
Словник української мови (СУМ-20)