Формализация краткая биография(статья) в Большом энциклопедическом электронном словаре

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

В других словарях:
Формализация - Ефремова Т. Ф. Новый словарь русского языка ...