O’zbekiston respublikasi axborot texnologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al-xorazmiy nomidagi

---

O’ZBEKISTON RESPUBLIKASI AXBOROT 
TEXNOLOGIYALARI 
VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH 
VAZIRLIGI 
MUHAMMAD AL-XORAZMIY NOMIDAGI 
TOSHKЕNT AXBOROT TЕXNOLOGIYALARI 
UNIVЕRSITЕTI QARSHI FILIALI 
AXBOROT XAVFSIZLIGI FAKULTЕTI 
II BOSQICH AX-11-18-GURUH TALABASI 
XUSHMANOVA HILOLANING 
“ALGORITMLARNI LOYIHALASH” FANIDAN 
TAYORLAGAN 
7-LABORATORIYA ISHI 
Bajardi: Xushmanova.H. 
Tekshirdi: Ravshanov.A. 

---

7-лаборатория иши.
Қисм сатрларни қидириш
.
Мақсад: Талабаларда ассивларни қайта ишлашга мўлжалланган алгоритмларни 
корректлиги кўрсатиш кўникмасини ҳосил қилиш.
Лаборатория ишини бажариш учун зарур жиҳозлар. 2- лаборатория иши давомида 
ишлаб чиқилган дастур матни, лаборатория ишини бажариш бўйича (ушбу) услубий 
кўрсатма
Зарур назарий маълумотлар. 
Ушбу лаборатория иши оддий итератив алгоритмларнинг корректлигини цикл 
инвариантдан фойдаланиш орқали асослашга бағишланган. Инвариант сифатида биз 
циклнинг биринчи итерациясидан олдин ва хар бир итерациясидан сўнг ўринли бўлган 
(рост қиймат қабул қиладиган) мантиқий ифодани тушунамиз. Инвариантнинг 
бажарилиши бизга циклнинг тўғри бажарилишини исботлаш имконини беради. 
Инвариант қуйидаги хусусиятларга эга: 
Инициализация. Инвариант цикл бошланишидан (биринчи итерация бажарилишидан 
олдин) ўринли 
Сақланиш. Агар инвариант циклнинг навбатдаги итерациясидан олдин ўринли бўлса, 
итерация тугаганидан сўнг ҳам ўринли бўлади. 
Якунлаш. Цикл якунланганда инвариант циклнинг тўғри ишлаганлигини кўрсатади ва бу 
ҳол, хусусан тартиблаш алгоритмлари учун, бутун алгоритмнинг тўғри ишлаши 
исботлайди.