Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

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


Что: Лекция
Когда: Среда, 05 октября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

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

Видео