Dasturlash paradigmasi - bu dasturlarni ishlab chiqish usulini belgilaydigan printsiplar, usullar va tushunchalar to'plamidir.
Paradigma (ilm-fan falsafasi) - bu ilmiy qarashlarning aniq shakllangan tizimi bo'lib, uning doirasida tadqiqotlar olib boriladi (T.Kun).
Paradigma quyidagicha aniqlanadi:
• hisoblash modeli
• asosiy dastur birligi (lar)
• abstraktsiyalarni ajratish usullari
Dasturlash tili faqat bitta paradigmadan foydalanishi shart emas. Bir nechta paradigmalarni qo'llab-quvvatlovchi tillar ko'p paradigma tillari deb ataladi. “Paradigma” atamasi o’zining zamonaviy ma’nosini ilmiy-texnik sohada Tomas Kun va uning "Ilmiy inqiloblarning tuzilishi" kitobida keltirilgan. Kun paradigmalarni tadqiqotlar olib boriladigan ilmiy qarashlarning yaxshi o'rnatilgan tizimlari deb atadi.“Dasturlash paradigmasi” atamasini birinchi marta 1978 yilda Robert Floyd Turing mukofoti sovrindori ma'ruzasida ishlatgan. Floyd ta'kidlashicha, dasturlashda siz Kunning paradigmalariga o'xshash hodisani kuzatishingiz mumkin, ammo ulardan farqli o'laroq, dasturlash paradigmalari bir-birini inkor etmaydi: agar umuman dasturlash san'atining rivojlanishi paradigmalar doimiy ixtiro va takomillashtirishni talab qilsa, u holda individual dasturchi san'atini takomillashtirish undan kengayishni talab qiladi.
Dasturlash tillarini turlicha yondoshuvdagi ta’riflarini bayon qiling(dasturlash tilining semantikasi,dasturlash tilining formal ta’rifi, dasturlash tilining amaliy ta’rifi, dasturlash tilining texnologik ta’rifi).
Dasturlash tilining formal ta'rifi
• Dasturlash tili - bu kompyuter holatini(bajaradigan ishini) rejalashtirish uchun mo’ljallangan belgilar tizimi.
• Belgilar tizimi- belgili vaziyatlar to’plamini aniqlovchi belgilashlar to’plami.
• Belgili vaziyatlar-semiotikaning birlamchi tushunchasi bo’lib, uning elementlari belgi va denotatlar hisoblanadi.
• Belgi- bu nom yoki ifoda, denotat-qiymat, mazmun.
Do'stlaringiz bilan baham: |
