Shofirkon maishiy xizmat kasb hunar kolleji «dasturlash asoslari»

program daraja (input, output);
var k, n, p: integer;
begin
read (n); p:=1;
for k:=1 to n do
p:=k * 2;
write (p)
end.
daraja dasturning natijalari, 0, 1, 2 dastlabki qiymatlarda mos ravishda 1, 2, 4 ga teng, ya`ni daraja dasturning natijalari bilan mos keladi. Biroq, n>2 da noto`g`ri natijalar chiqishiga ishonch hosil qilish qiyin emas. Masalan, n=3 qiymatlar p 8 ga emas, 6 ga teng bo`ladi.
Dasturning to`g`riligini tekshiradigan boshqa ishonchli usul shundan iboratki, masalaning ta`rifi bo`yicha dastlabki ma`lumotlarning mumkin bo`lgan har qanday qiymatlarida dasturning to`g`riligini isbotlashdir. Dasturning natijalarini aniq qiymatlar bo`yicha tekshirishga qaraganda bu anchagina murakkab. Har bir dastur tuzilishining to`g`riligini ko`rsatishga (asosan misollarda) harakat qilib ko`ramiz.
O`zlashtirish operatori. Operatorning o`ng qismiga o`zgaruvchining qiymatini hisoblaydigan arifmetik ifoda eziladi. Agar u to`g`ri ezilgan bo`lsa, o`zlashtirish operatori ham to`g`ri bo`ladi. U holda ifodaga tegishli hamma o`zgaruvchilarning qiymatlari aniqlangan eki eHM xotirasiga kiritilgan, eki protsedura bajarilishida hisoblangan, eki bundan oldingi o`zlashtirish operatorlarga o`zlashtirilgan bo`lishi kerakligiga e`tiborni qaratish zarur. Ifodalarga o`zgaruvchilarning noma`lum qiymatlarini ishlatish dastur tuzishni o`rganayotgan dasturchilarning ko`p takrorlaydigan xatosidir. Barcha aytilganlar shartli operatorlardagi (if dan keyingi) va tsikllardagi (while dan keyingi) mantiqiy ifodalarga ham taalluqlidir.
SHartli operator. Misol ko`rib chiqamiz. Dastlabki ma`lumot butun a soni bo`lsin, b natija a sonining absolyut qiymatiga teng bo`lishi kerak. Bu masalani echish uchun har xil dasturning to`rt parchasini ko`ramiz.

1. 
   if a < 0 then b : = - a
   

a<0 bo`lganda b:= - a operator bajariladi, ya`ni a o`zgaruvchining manfiy qiymatlari uchun shartli operator to`g`ri yozilgan. Agar a³0 bo`lsa, dastur natijasi aniqlanmagan. Demak, bu dastur noto`g`ri tuzilgan.

2. 
   b : = a;