Формализация (Осипов, 2014)
ФОРМАЛИЗАЦИЯ - отображение результатов мышления в точных понятиях или утверждениях. Противопоставляется содержательному или интуитивному мышлению. Формализация теснейшим образом связана с процессом абстракции. Как и всякая абстракция, формализация является необходимым моментом процесса познания. В математике и формальной логике, где формализация наиболее развита, под формализации обычно понимают отображение содержательного знания в знаковом формализме или формализованном языке. Непременным условием построения такого языка является использование метода аксиоматического...