Метрический анализ эффективности алгоритмов минимизации частичных функций алгебры логикидиссертация