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

Примитивно-рекурсивные функции. Кодирование последовательностей $ [a_0, a_1, \ldots, a_{\ell - 1} ] \mapsto p_0^{a_0+1} p_1^{a_1+1} \ldots p_{\ell - 1}^{a_{\ell-1} + 1} $. Кодирование пар. Совместная рекурсия. Возвратная рекурсия. Функция Аккермана.