Yakuniy nazorat ishi

Deklarativ dasturlash
Muammoni hal qilishning spetsifikatsiyasi o'rnatiladigan dasturiy paradigma, ya'ni muammo nima ekanligini va kutilgan natijani tavsiflaydi. Deklarativ dasturlashning teskari tomoni - bu majburiy dasturlash bo'lib, u qandaydir tafsilotlarda muammoni qanday hal qilish va natijani taqdim etishni tavsiflaydi. Natijada, deklarativ dasturlarda davlat tushunchasi ishlatilmaydi, xususan, ular o'zgaruvchilar va tayinlash operatorlarini o'z ichiga olmaydi va ma'lumotlarning shaffofligi ta'minlanadi.


Strukturaviy dasturlash
Dasturning ierarxik blok tuzilishi shaklida taqdimotiga asoslangan dasturlash paradigmasi.
quyidagilar bilan tavsiflanadi:
- shartli va shartsiz sakrashlardan cheklangan foydalanish
- pastki dasturlardan va boshqa boshqaruv tuzilmalaridan (ilmoqlar, filiallar va boshqalar) keng foydalanish
-blok tuzilishi
Funktsional dasturlash
Asosiy tushunchalar:
- noaniq yon ta'sirlarning etishmasligi
- ma'lumotlarning shaffofligi
- yashirin holat yo'q
- ma'lumotlar va funktsiyalar kontseptual jihatdan bir xil
Mantiqiy dasturlash
— berilgan faktlar va xulosalar qoidalari asosida xulosa chiqarish mexanizmlaridan foydalangan holda avtomatik teoremani isbotlashga asoslangan dasturiy paradigma.
Obyektga yo’naltirilgan dasturlash
(OYD) — dasturni har biri ma'lum bir sinfning namunasi bo'lgan ob'ektlar to'plami sifatida namoyish etishga asoslangan dasturlash metodologiyasi va sinflar meros ierarxiyasini tashkil qiladi

2. 
   Fon Neyman arxitekturasi
   

Jon fon Neyman (1903 - 1957) - kelib chiqishi yahudiy bo'lgan venger-amerikalik matematik, u kvant fizikasi, kvant mantig'i, funktsional tahlil, to'plamlar nazariyasi, informatika, iqtisod va boshqa fan sohalariga muhim hissa qo'shgan.
Kompyuter arxitekturasi nazariyasining asoslarini taniqli amerikalik matematik Jon Fon Neyman yaratdi. U 1944 yilda dunyodagi birinchi naychali kompyuterni (ENIAC) yaratishga qo'shildi, uning dizayni allaqachon tanlangan edi. O'zining ish paytida, hamkasblari G.Goldshteyn va A.Berks bilan ko'plab munozaralar paytida fon Neyman printsipial jihatdan yangi kompyuter g'oyasini ifoda etdi. 1946 yilda olimlar kompyuterlarni qurish uchun o'zlarining printsiplarini hozirgi klassik "Elektron hisoblash moslamasining mantiqiy dizaynini oldindan ko'rib chiqish" maqolasida bayon qildilar. O'shandan beri yarim asr o'tdi, ammo unda keltirilgan qoidalar bugungi kunda ham dolzarb bo'lib qolmoqda.
Mashinadagi ichki struktura, uning mantiqiy tashkiloti bo'lib, u ishlov berish jarayoni va ma'lumotlarni kodlash usullarini, tarkibi, maqsadi, apparat va dasturiy ta'minot o'rtasidagi o'zaro ta'sir tamoyillarini belgilaydi.