Формализация – это представление и изучение какой-либо содержательной области знаний или объекта в виде формализованной системы или исчисления.