Значение слова ФОРМАЛИЗАЦИЯ в Современном толковом словаре, БСЭ

ФОРМАЛИЗАЦИЯ

представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.

БСЭ. Современный толковый словарь, БСЭ.