Myvideo

Guest

Login

42. Классы вычислимых функций

Uploaded By: Myvideo
1 view
0
0 votes
0

0:00 - о вычислимости и вычислимых моделях 10:21 - вычислимые и частично рекурсивные функции 10:47 - определение рекурсивных функций 10:31 - частично рекурсивные функции 16:05 - мю-оператор ограниченный и неограниченный 19:27 - классы ПРФ и ЧРФ 20:51 - тотальные (обобщенные) рекурсивные функции, класс Tot, ОРФ 24:00 - универсальная нумерация тотальных функций 26:30 - теорема о неполноте для тотальных функций

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later