1. Алгоритм тушунчаси ва унинг характерли хусусиятлари. Ечилувчи ва саналувчи тўпламлар

Учинчи йўналиш – россия математиги А.Марков томонидан ишлаб чиқилган нормал алгоритмлар тушунчаси билан боғлиқ.


Мустақил ишлаш учун саволлар:


1.Алгоритм тушунчаси. Ечувчи процедура. Ечи-
лиш муаммоси. Алгоритмнинг интуитив таъри-
фи.
2.Алгоритмнинг характерли хусусиятлари. Алго-
ритмнинг дискретлиги, детерминацияланувчан-
лиги, қадамларининг элементарлиги ва натижа-
вийлиги.
3.Ечилувчи ва саналувчи тўпламлар. Пост теоре-
маси. Ечилувчи тўплам билан эффектив сана-
лувчи тўпламлар ўртасидаги муносабатлар.
4.Алгоритм тушунчасига аниқлик киритиш.
Уч асосий йўналиш.
5.Эффектив ҳисобланувчи функция.  - аниқла-
нувчи функциялар. Умумрекурсив функция.
6.А.Чёрч ва С.Клинилар натижалари.
Чёрч тезиси. К.Гёдел натижалари.
7.Тьюринг тезиси. Тьюринг бўйича ҳисобланувчи
функциялар. Тьюринг машиналари.
8.Э.Пост натижалари. Нормал алгоритмлар.