IM. Y, Оч'Л. Юсчоу

Vishkovskiy teoremasi. Ishlab chiqaruvchi m ahsulot yetkazib 
beruvchi yoki xarid o rn ik id an farq q iladigan o ‘zin in g o ‘lchov 
qiym atlaridan foydalanadi va uni m ahsulot yetkazib beruvchi yoki 
x a r id o r n in g o ‘lc h o v b irlig ig a k o ‘c h irg a n d a a lb a tta ish la b
chiqaruvchiniki ortiq chiqadi.
Sneyf tenglamasi:
1. N tenglamali masalada har doim N + l ta nom a’lumlik b o lad i.
2. H am m a usullarni sinab, birontasi ham m a ’qul kelmaydi 
deyishingiz bilan, boshqa h am m a o d am lar oddiygina yechim ni 
topishadi.
Miksh qonuni. Agar arqonning bitta uchi b o ‘lsa, dem ak uning 
boshqa uchi ham bor.
Mashina dasturlashtirish qonuni:
1. H ar qanday harakatdagi dastu r eskirib b o ig a n .
2. H ar qanday dastur qim m atga tushadi va k o ‘zda tutilganidan 
k o ‘p vaqt talab qiladi.
3. Agar dastur to ‘la m uvofiqlashtirilgan b o ‘lsa, u n i to ‘g ‘rilash 
kerak bo'ladi.
4. H a r q an d ay d astu r m ash in a x otirasini t o ‘la egallashga 
harakat qiladi.
35

---

5. D astum ing qiymati uning foydalilik vazniga to ‘g‘ri proportsi- 
onaldir.
6. D asturning murakkabligi dasturchining qobiliyatidan oshib 
ketm aguncha ortib boraveradi.
Dasturlashtirish bo‘yicha Trumen postulatlari:
1. D astur ishlab chiqishdagi eng q o ‘pol xato kam ida yarim yil 
ishlatilgandan so‘ng aniqlanadi.
2. 0 ‘rni alm ashtirilishi u m u m an m um ki b o ‘lm agan disket- 
larni albatta aralashtirib yuborishadi.
3. Agar dastlabki inform atsiyaning tozaligini nazorat qilish 
u ch u n m as'ul odam tayinlangan b o ‘lsa, shu nazo ratd an n o to ‘g ‘ri 
inform atsiyani o ‘tkazib yuborish usulini o ‘ylab topadigan ahm oq 
topiladi.
4. Aytib b o ‘lm aydigan so ‘zlar— bu shunday so'zlarki, har 
b ir dasturchi uni m u kam m al biladi.