Темы устных докладов СГА → Математическая логика и теория алгоритмов (курс 2)

Математическая логика и теория алгоритмов (курс 2) (6832) , модуль 5 - Темы устных докладов СГА

  • Внешний и внутренний алфавит машины Тьюринга
  • Использование машины Тьюринга для доказательства разрешимости или неразрешимости задач
  • Основные формализации понятия алгоритма
  • Понятие алгоритма
  • Понятие машины Тьюринга
  • Понятие нормального алгоритма Маркова
  • Понятие эффективно вычислимой функции
  • Решение задач с помощью нормальных алгоритмов Маркова
  • Свойство детерминированности алгоритма
  • Свойство дискретности алгоритма
  • Свойство массовости алгоритма
  • Свойство результативности алгоритма
  • Свойство элементарности шагов алгоритма
  • Структура команды машины Тьюринга
  • Структура нормальных алгоритмов Маркова
  • Структура программы для машины Тьюринга
  • Схема примитивной рекурсии
  • Тезис Тьюринга
  • Тезис Черча
  • Частично рекурсивные и общерекурсивные функции