частичная формализация

Мат. partial formalization