Значительный вклад в развитие теории алгоритмов внесли математики А.Тьюринг \(Великобритания\), Э.Пост \(США\), А.Чёрч \(Великобритания\), С.Клини \(США\) и А.А. Марков \(СССР\). Теория алгоритмов занимается ...

• доказательством алгоритмической неразрешимости задач;
• анализом сложности алгоритмов;
• построением алгоритмов для различных исполнителей;
• сравнительной оценкой качества алгоритмов;