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

Понятие алгоритма. Примеры. Способы задания. Общие свойства.
Необходимость математического уточнения понятия алгоритма.
Нормальный алгоритм Маркова.
Машины Тьюринга.
Сведение любого алгоритма к вычислению числовой функции.
Геделевская нумерация объектов.
Примитивно рекурсивные функции.
Универсальная функция. Существование вычислимых, но не примитивно рекурсивных функций.
Частично рекурсивные функции. Тезис Чёрча.
Рекурсивные и рекурсивно перечислимые множества.
Примеры неразрешимых и нерешенных проблем.