Плиско В.Е. - Введение в математическую логику -2. Алгоритмическая теория множеств

00:00:14 Неформальное понятие алгоритма. Историческая справка. Предмет теории алгоритмов 00:09:59 Общие свойства алгоритмов. Конструктивные объекты. Словарное пространство 00:20:41 Способы задания типа конструктивных объектов. Множество возможных исходных данных алгоритма 00:30:11 Роль словарного пространства. Эффективность кодирования. Нумерация словарного пространства 00:39:12 Нумерация типа конструктивных объектов. Эффективная счетность. Нумерация прямого произведения. Нумерация кортежей 00:55:12 Алгоритмический процесс. Область применимости алгоритма. Краткое содержание 01:03:11 Вычислимая функция. Условное равенство. Примеры 01:12:36 Сигнализирующее множество. Разрешимое множество. Полуразрешимое множество. Теорема Чёрча — Поста. Операции над полуразрешимыми множествами 01:21:55 Перечислимое множество. Перечислимость разрешимых множеств. Полуразрешимость перечислимых множеств 01:27:21 Перечислимость области применимости алгоритма. Связь между перечислимыми множествами и областями определения и значений вычислимых функций. Теорема о графике Ссылка на плейлист:    • Введение в математическую логику - Плиско ...   #мгу #мехмат #математика #плиско #логика #математическаялогика