Что: | Лекция |
Когда: | Среда, 05 октября 2011, 18:30–19:50 |
Где: | ПОМИ РАН |
Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно рекурсивное время. Частично рекурсивные и вычислимые функции. Теорема о нормальной форме. Функция Аккермана.