Методы синтеза и оценки сложности схем, построенных из элементов предикатного типадиссертация