Неформальное определение понятия алгоритма, рассмотрение основных его свойств. Исследование сущности тезиса Тьюринга – Черча. Анализ такта работы машины Тьюринга и примеров её использования. Обоснование необходимости формализации понятия алгоритма.
Аннотация к работе
Под алгоритмом (или эффективной процедурой) в математике понимают точное предписание, задающее вычислительный процесс, ведущий от начальных данных, которые могут варьироваться, к искомому результату. Алгоритм должен обладать следующими свойствами: (1) Конечность (результативность). Под алгоритмом (или эффективной процедурой) в математике понимают точное предписание, задающее вычислительный процесс, ведущий от начальных данных, которые могут варьироваться, к искомому результату. Алгоритм должен обладать следующими свойствами: (3) Простота и понятность. Алгоритм задает процесс вычисления для множества исходных данных (чисел, строк букв и т.п.), он представляет общий метод решения класса задач.