Теория алгоритмов. Предикаты (Тишин В.В.)