В статье исследуется методологическая сущность формализации. Показана важность экспликации критериев соответствия формальных знаковых систем некоторой предметной области. Проанализированы на адекватность друг другу логические ...