Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ) Лекция 14 (04.12.2020) 00:00 Машина Тьюринга (повторение предыдущей лекции) 2:07 Конфигурация машины 4:24 Вычислимость функции. Обозначения --- 19:46 Вычислимые функции натуральных чисел (от многих переменных). Примеры 34:38 Вычислимые биекции 39:15 Обратные функции 39:55 Кодирование кортежей длины n 40:52 Кодирование кортежей конечной длины 47:48 Кодирование слов в алфавите --- 51:20 Разрешимые и перечислимые множества 51:46 Разрешимые множества 57:02 Замкнутость класса разрешимых подмножеств относительно булевых операций 1:01:39 Перечислимые множества 1:24:00 Свойства перечислимых множеств 1:24:34 Применение понятий перечислимости и разрешимости для решения 10-й проблемы Гильберта
