Алгоритмдер теориясының элементтері

Алгоритмдер теориясы алгоритмдердің жалпы қ асиеттерін зерттейтін математиканың саласы.

Алгоритм ұ ғ ымы ө збек математигі жә не астрономы IX ғ асырда ө мір сү рген Мухаммед бен Муса аль – Хорезми есімімен тығ ыз байланысты, ол алғ аш позициялық есептеулер жү йесінде арифметикалық амалдардың орындалу тә ртібін ойлап шығ арды.

Есептің қ ойылуынан бастап нә тижесіне дейінгі есептеу процесін алгоритм деп айтуғ а болады.

Кезкелген алгоритмнің ерекшелігі кейбір есептер класын шешу тә сілінде. Мысалы, сызық ты тең деулер жү йесін шешу алгоритмі, екінші ретті тең деулер алгоритмін шешу жә не тағ ы басқ алар.

Қ андай да бір алгоритмі берілсін. Ол қ олданылатын объектілер жиыны алгоритмінің қ олданылу облысы деп аталады.

алгоритмі функциясын есептейді деп атайды, егер оның қ олданылу облысы функциясының анық талу облысымен бірдей болса жә не алгоритмі ө зінің қ олданылу облысындағ ы кез келген элементін - ке ө ң десе.

функциясы есептелінеді деп аталады, егер оны есептейтін алгоритм табылса.

Американ математиктері Пост жә не Тьюринг математикалық машина ұ ғ ымын енгізді, оны кейін Пост машинасы немесе Тьюринг машинасы деп атап кетті.