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