Лекция тезистері
жүктеу/скачать 382.54 Kb.
|
- Бұл бет үшін навигация:
- 4-тақырып: «Алгоритм күрделілігі ұғымы. Шамалар ұғымы. Алгоритмдік тіл ұғымы»
| Примитивті рекурсия
Қандай да бір сандық бөлшек функциялар берілсін: n-орынды орынды . G және h функциясынан (n+1) орынды f функциясы примитивті рекурсия арқылы алынады, егер у натурал сандар үшін Функцияның анықталу облысы натурал сандар жиыны болғандықтан, f-бөлшекті функция да (1)-ді қанағаттандырады,және ол функция әрбір g, h бөлшек функция үшін табылады және жалғыз болады. Рекурсия қадамы өзгерген сайын (1): (2) түрінде жазылады. Примитивті рекурсия f=R(g, h) деп белгіленеді. R- бөлшек функциялар жиынында анықталған 2-орынды бөлшек операция символы деп қарастырылады. (2)=> дербес жағдайда g және h барынша анықталған болады. (2)-дегі g және h функцияларының мәндері табылатын болса функцияның мәндері де механикалық есептеледі. Анықтама бөлшек функциясы примитивті рекурсия деп аталады, егер оны қарапайым функцияларға суперпозиция немесе примитивті рекурсия операцияларын қолданып, саны санаулы операциялармен алуға болса. Мысалы:
примитивті Анықтама: f(x1,x2,...xn) – бөлшекті функция бөлшекті рекурсивті деп аталады, егер оны қарапайым - функцияларынан суперпозиция , примитивті рекурсия , минимизация операцияларын санаулы рет қолданып алуға болса. Черч тезисіАлгоритмдік – есептелетін бөлшекті сандық функциялар класы барлық бөлшекті рекурсивті функциялар класымен беттеседі. Бөлшекті рекурсивті функция ұғымы есептелетін бөлшекті функция интуитивті ұғымының ғылымы эквиваленті бола алады. Рекурсивті функция ұғымы қатаң. Сондықтан кәдімгі математикалық техника есепті шешетін функция рекурсивті болуы мүмкін емес деп дәлелдейді. Интуитивті есептелетін функция ұғымы қатаң емес математикалық ұғым. Бірақ ол бөлшекті рекурсивті функция – қатаң математикалық ұғыммен байланысады. Өзін тексеру сұрақтары Есептелетін функция деген не? Рекурсияны қалай түсінесіз? Черч тезисінің мағынасы? Ұсынылатын әдебиеттер Е. Бидайбеков, Е. Медеуов, А. Ниязбаев. Информатика бастамалары (алгоритмдеу). Алматы, 1990ж. Вирт Н. Алгоритмы + структуры данных. Программы. – СПб, 2001ж. Симонович С., Евсеев Г.Практическая информатика: Инфорком- Пресс, 1998г. Острейковский В.А. Информатика, Москва, 2000 г. Петров А.В., Алексеев В.Е., Ваулин А.С., Петрова М.А., Титов М.А., Шкатов П.Н. Вычислительная техника и программирование, Москва, 1990. 4-тақырып: «Алгоритм күрделілігі ұғымы. Шамалар ұғымы. Алгоритмдік тіл ұғымы» жүктеу/скачать 382.54 Kb. Достарыңызбен бөлісу:
|