Лекция 2. Алгоритмическая теория множеств

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