представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.
Значение слова ФОРМАЛИЗАЦИЯ в Современном толковом словаре, БСЭ
Что такое ФОРМАЛИЗАЦИЯ
БСЭ. Современный толковый словарь, БСЭ. 2003