|
|
Спецкурс «Математическая логика, часть 2»
13 февраля 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
 |
|
|
|
Лекция 1. Примитивно-рекурсивные функции
С. Л. Кузнецов |
| Видеозаписи: |
 |
MP4 |
1,259.0 Mb |
| Количество просмотров: |
| Эта страница: | 309 | | Видеофайлы: | 74 | | Youtube: | |
|
Аннотация:
Примитивно-рекурсивные функции. Кодирование последовательностей
$ [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} $.
Кодирование пар. Совместная рекурсия. Возвратная рекурсия. Функция Аккермана.
|
|
Обратная связь: