Методы представления дискретных функций в задачах подсчёта, тестирования и распознавания свойствдиссертация