algoritmalar nazariyaga kirish

DOC 5 стр. 39,0 КБ Бесплатная загрузка

5 стр.

FaylHub.uz

Скачать через Telegram

Размер 39,0 КБ

Тип файла DOC

Страницы 5

Обновлено Дек 2025

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

1 / 5

алгоритмлар назарияга кириш кириш қандайдир масалани ҳал этишга киришишдан аввал бунинг учун энг яхши услуб изланади ва уни қай тарзда тавсифлаш аниқланади. бошқача қилиб айтганда, биз доимо мақсади баъзи бир зарурий натижага эришишдан иборат, амаллар кетма-кетлиги билан берилган турли-туман қоидаларга дуч келамиз. бундай амалларнинг кетма-кетлиги алгоритм деб атаймиз. математикада алгоритмнинг мураккаблиги, ҳал этиш масалалари ва уларни ишлаб чиқиш принципларини ўрганадиган махсус “алгоритмлар назарияси” бўлими ҳам мавжуд. алгоритмлар назарияси – алгоритмларнинг умумий хоссалари, қонуниятлари ва уларни тасвирланишининг турли-туман формал моделларини ўрганиш билан шуғулланади. алгоритм тушунчасини формаллаштириш асосида уларнинг самарадорлиги таққослаш, уларнинг эквивалентлиги текшириш, қўлланилиш соҳасини аниқлаш мумкин. 1930 йилларда яратилган (пост, тьюринг, черч) алгоритмларнинг турли-туман моделлар 1950 йилларда таклиф қилинган колмогоров ва марковнинг моделлари сингари бир хил, эквивалентлик шу маънода-ки, бир моделда ечиб бўладиган муаммоларнинг ҳар қандай синфи, бошқасида ҳам ҳал этилади. ҳозирги пайтда алгоритмлар назария асосида олинган амалий тавсияномалар дастурий тизимларни лойиҳалаш ва ишлаб чиқиш соҳаларида кенг тарқалган. алгоритмлар назарияга …

2 / 5

ини кўрсатиб берган. гедел натижасининг умумийлиги у фойдаланган алгоритмлар синфи барча алгоритмлар синфи билан (интуитив маънода) мос келадими мавзуси билан боғлиқ. бу иш алгоритмларни турли формаллатиришларини излаш ва таҳлил қилишга турки бўлди. алгоритмлар назарияси бўйича дастлабки фундаментал ишлар 1936 йилда мустақил равишда алан тьюринг, алоиз черч ва эмил постлар томонидан эълон қилинди. улар томонидан таклиф этилган тьюринг машинаси, пост ва черчнинг лямда-ҳисоблаш машинаси алгоритмнинг формаллаштириш билан эквивалент бўлган. улар томонидан шакллантирилган (пост ва черч-тьюринг) тезислар (фикрлар) улар таклиф қилган формал тизимлар ва алгоритмнмнг интуитив равишдаги тушунча эквивалентлиги посулат қилиб олинди. бу ишлардаги муҳим даражаси алгоритмик ҳал қилиб бўлмайдиган муаммолар формулировакаси ва исботланганлиги бўлади. 1950 йилларда алгоритмлар назарияси колмогоров, марковнинг ишлар катта ҳисса қўшди. 1960-70 йилларга келиб алгоритмлар назариясида қуйидаги йўналишлар вужудга келди: - алгоритмларнинг классик назарияси (формал тиллар терминларида масалар формулировкаси, ҳал етиш масаласи тушинчаси, мураккабликдаги синфларнинг жорий этилиши, 1965 йилда эдмонд томонидан p=np муаммосининг формулировкаси, np- тўлиқ масаласи синфини …

3 / 5

ясининг турли бўлимлари натижаларини умумлаштириб қуйидаги мақсадларни ва унга мос равишда алгоритмлар назариясида ҳал этиладиган вазифаларни ажратиш мумкин: - “алгоритм” тушунчасини формаллаштир ва формал алгоритмик тизимларни тадқиқ этиш; - алгоритмик ҳал этилмайдиган бир қатор масалаларни формал исботлаш; - алгоритмлар мураккаблигини асимптотик таҳлил қилиш; - рекурсив алгоритмларни тадқиқ этиш ва таҳлил қилиш; - алгоритмларни қиёсий таҳлил қилиш мақсадида қийинликнинг ошкор функциясини олиш; 1.4. алгоритм тушунчасининг формаллашуви инсон ўз фоалиятини барча соҳаларида, хусуссан ахборотларни қайта ишлаш соҳасида масалани ечишнинг турли услуб ёки методикасига ду келади. улар хохлайдиган натижани олиш учун амаллар бажариш кетма-кетлигини аниқлайди – биз буни алгоритмнинг дастлабки ёки интуитив равишдаги таърифи сифатида талқин қилишимиз мумкин. алгоритмнинг формал бўлмаган таърифига айрим қўшимча талаблар қўйилади: 1.1-таъриф. алгоритм – бу масалани ечиш учун бажариладиган элементар амаллар чекли кетма –кетлигини берувчи, мумкин бўлган дастлабки маълумотлар учун умумий бўлган қандайдир тилда берилган чекли кўрсатмалар. фараз қилайлик, d - масаланинг дастлабки маълумотлар соҳаси (тўплами), r – …

4 / 5

масала ечимига қадамларнинг қанчадир сонидан сўнг шак-шубҳасиз олиб келадиган қаътий маълум қоидалар бўйича бажариладиган ҳисоблашларнинг бирор тизими. 1.3-таъриф (марков): алгоритм – бу ўзгартиладиган дастлабки маълумотлардан керакли натижага олиб борувчи аниқ ҳисоблаш жараёни аниқловчи формойиш. таъкидлаш керак-ки, алгоритмнинг ошкор ёки ошкормас шаклдаги турли таърифлари куйидаги талабларга бўйсинади: - алгоритм чекли миқдордаги элементар бажариладиган формойишлардан тузилиши шарт, яъни ёзувлар чекланганлиги талабини қаноатлантириши шарт; - алгоритм масалани ечишда чекли миқдорда бажарилиши, яъни чекли ҳаракатлар талабини қаноатлантириши шарт; - алгоритм кўйилган масала ечимига нисбатан тўғри олиб келиши, яъни тўғрилик талабини қаноатлантириши шарт. алгоритм тушунчасининг бошқа формал таърифлари махсус математик конструкцияларни киритиш (пост машинаси, тьюринг машинаси, черч рекурсив ҳисобланадиган функциялар) билан боғлиқ. 1.5 . назорат саволлари 1) алгоритмлар назарияси яратилиши ва ишлаб чиқишнинг тарихий аспектлари. 2) алгоритмлар классик назариясининг мақсади ва вазифалари. 3) алгоритмларни асимптотик таҳлили назариясининг мақсади ва вазифалари. 4) алгоритмларнинг амалий таҳлили мақсади ва вазифалари. 5) алгоритмлар назарияси натижалари тадбиғининг назарий ва амалий …

5 / 5

Хотите читать дальше?

Скачайте все 5 страниц бесплатно через Telegram.

Скачать полный файл

О "algoritmalar nazariyaga kirish"

алгоритмлар назарияга кириш кириш қандайдир масалани ҳал этишга киришишдан аввал бунинг учун энг яхши услуб изланади ва уни қай тарзда тавсифлаш аниқланади. бошқача қилиб айтганда, биз доимо мақсади баъзи бир зарурий натижага эришишдан иборат, амаллар кетма-кетлиги билан берилган турли-туман қоидаларга дуч келамиз. бундай амалларнинг кетма-кетлиги алгоритм деб атаймиз. математикада алгоритмнинг мураккаблиги, ҳал этиш масалалари ва уларни ишлаб чиқиш принципларини ўрганадиган махсус “алгоритмлар назарияси” бўлими ҳам мавжуд. алгоритмлар назарияси – алгоритмларнинг умумий хоссалари, қонуниятлари ва уларни тасвирланишининг турли-туман формал моделларини ўрганиш билан шуғулланади. алгоритм тушунчасини формаллаштириш асосида уларнинг самарадорлиги таққослаш, уларнинг эквивалентлиги текшириш, қў...

Этот файл содержит 5 стр. в формате DOC (39,0 КБ). Чтобы скачать "algoritmalar nazariyaga kirish", нажмите кнопку Telegram слева.

Теги: algoritmalar nazariyaga kirish DOC 5 стр. Бесплатная загрузка Telegram