Автор не известен. 136 с. Лекции в виде презентации.
Содержание.
- Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции.
- Частично рекурсивные функции.Тезис Черча.
- Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР.
- Нумерации и универсальные функции.
- Нормальные алгорифмы.
- Алгоритмические проблемы в логике и математике.
- Разрешимые и перечислимые множества и предикаты
Содержание.
- Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции.
- Частично рекурсивные функции.Тезис Черча.
- Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР.
- Нумерации и универсальные функции.
- Нормальные алгорифмы.
- Алгоритмические проблемы в логике и математике.
- Разрешимые и перечислимые множества и предикаты