Автор работы: Пользователь скрыл имя, 15 Февраля 2012 в 15:54, реферат
Тео́рия алгори́тмов — наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п.
что это не следует воспринимать, как предложение решать любую
задачу через подстановки (хотя на этих принципах работает
замечательный язык программирования РЕФАЛ). Это лишь означает,
что любую алгоритмически разрешимую задачу МОЖНО представить в
виде такой системы подстановок. А если нельзя (и вы это смогли
доказать), то такая задача вообще не имеет алгоритма решения.