Теория алгоритмов

Теоретические сведения
1. Понятие алгоритма
2. Необходимость уточнения понятия алгоритма
3. Конструктивные объекты
4. Простейшие функции. Операция суперпозиции
5. Оператор примитивной рекурсии
6. Частично рекурсивные функции. Тезис Черча
7. Определение машины Тьюринга
7а. Пример работы машины Тьюринга
8. Вычислимые по Тьюрингу функции
9. Машина Поста
10. Марковские подстановки
11. Нормальные алгоритмы и их применение к словам
12. Нормально вычислимые функции
13. Эквивалентность нормальных алгоритмов и машины Тьюринга
14. Нумерации: начало
15. Теорема об эффективной счетности
16. Канторова нумерация
17. Машины с неограниченными регистрами (МНР): начало
18. Соединение программ МНР
19. МНР-вычислимость частично-рекурсивных функций

Тестовые задания

Список литературы