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

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