Лекция 11. Примитивно рекурсивные функции