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