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

Теория алгоритмов – раздел математики, изучающий общие свойства алгоритмов. Начало систематической разработки можно считать 1936 год, когда А Черч опубликовал первое уточнение вычислимой функции. А.М.Тьюринг и Э.А.Пост дали первое уточнение понятия алгоритм [БСЭ, Т.1: с. 402].