Содержание
- Введение 1
- Предпосылки возникновения понятия алгоритма в античности и средневековье 2
- - Алгоритмическое мышление в древнем мире 2.1
- - Вклад Евклида в развитие алгоритмического подхода 2.2
- - Ал-Хорезми и зарождение термина 'алгоритм' 2.3
- Формализация алгоритмов в XIX - начале XX века 3
- - Логические основы формализации алгоритмов 3.1
- - Проблема разрешимости Гильберта 3.2
- - Развитие формальных систем и их применение к алгоритмам 3.3
- Теория вычислимости и работы Алана Тьюринга 4
- - Машина Тьюринга как модель алгоритма 4.1
- - Тезис Черча-Тьюринга 4.2
- - Неразрешимые алгоритмические задачи 4.3
- Заключение 5
- Список литературы 6