Myvideo

Guest

Login

лекция 4 | Вычислимость и логика | Дмитрий Ицыксон | CSC | Лекториум

Uploaded By: Myvideo
3 views
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later