| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс «Математическая логика, часть 2»
|
|||
|
|
|||
|
Лекция 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} $. Кодирование пар. Совместная рекурсия. Возвратная рекурсия. Функция Аккермана. |
|||
