Теоретическая информатика.
Классические формализации понятия "алгоритм"

1

Шаг 1. Точное понятие алгоритма
Шаг 2. Подходы к формализации алгоритма
Шаг 3. Машина Поста
Шаг 4. Машина Тьюринга
Шаг 5. Нормальные алгоритмы Маркова

1