Вычислимость и логика. Лекция 4
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.10.11
Дата публикации:
01.10.11
Код для блога:
Примитивно рекурсивные и частично рекурсивные функции
Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно рекурсивное время. Частично рекурсивные и вычислимые функции. Теорема о нормальной форме. Функция Аккермана.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10