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





Ссылка на выделенный текст