Вы здесь

Вычислимость и логика. Лекция 4

Лекция
Партнёр:
Предмет:
Дата записи:
01.10.11
Дата публикации:
01.10.11
Код для блога:

Примитивно рекурсивные и частично рекурсивные функции

Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно рекурсивное время. Частично рекурсивные и вычислимые функции. Теорема о нормальной форме. Функция Аккермана.

Страница лекции на сайте Computer Science Center