|
Dasturlash uslublari va paradigmalar
|
| bet | 12/30 | | Sana | 26.01.2024 | | Hajmi | 0,97 Mb. | | #146384 |
Bog'liq PARADIGMA YN6- t a ’ r i f . Agar hamma x=M qiymatlarda P(x) predikat chin qiymat qabul qilganda yolg‘on qiymat va x=M ning barcha qiymatlarida P(x) predikat yolg‘on qiymat qabul qilganda chin qiymat qabul qiluvchi predikatga P(x) predikatning inkori deb ataladi va u Ṗ(x) kabi belgilanadi.Bu ta’rifdan Ip=M\Ip=CIp kelib chiqadi.
7- t a ’ r i f . Faqat va faqatgina x=M lar uchun bir vaqtda P(x) chin qiymat va Q(x) yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan hamma hollarda chin qiymat qabul qiladigan P(x)→Q(x) predikat P(x) va Q(x) predikatlarning implikasiyasi deb ataladi.
Har bir tayinlangan x=M uchun P(x)→Q(x)=Ṗ(x)vQ(x) teng kuchlilik to‘g‘ri bo‘lganligidan IP→Q=IṖUIQ=CIPUIQ o‘rinlidir.
13. Ob'ektga yo'naltirilgan dasturlash. Sinflar, ob'ektlar.
Ob'ektga yo'naltirilgan dasturlash (OOP) - bu ma'lumotlar va ushbu ma'lumotlarni manipulyatsiya qiluvchi usullarni o'z ichiga olgan ob'ektlar tushunchasiga asoslangan dasturlash uslubi; OOP kodlarni bir-biri bilan o'zaro ta'sir qiluvchi ob'ektlarga tartibga solish orqali masshtablash va texnik xizmat ko'rsatish oson bo'lgan dasturlarni yaratish imkonini beradi. Hozirgi kunga OOP - bu eng mashhur rivojlanish paradigm hisoblanadi. Ob'ektga yo'naltirilgan dasturlash, dasturlash muhitida eng katta ta'sir ko'rsatdi. Ob'ektga yo'naltirilgan dasturlash 1960-yillarning oxirida Simula dasturlash tilining paydo bo'lishi bilan paydo bo'lgan. Yillar davomida Smalltalk ob'ektga yo'naltirilgan dasturlash paradigmasini takomillashtirgan. Python, Java, C va C# tillari bugungi kunda eng mashhur ob'ektga yo'naltirilgan tillar qatoriga kiradi.
OOP 4 ta asosiy qurilish bloklarini o'z ichiga oladi:
sinflar
atributlar
usullar
ob'ektlar.
1. Sinflar ob'ektlarni tasvirlash uchun shablonlarni taklif qiladi. Sinflar asosan ob'ektlarni yaratish uchun sxema bo'lib xizmat qiladi. Sinf ichida dasturchilar tegishli ob'ektlar tomonidan havola qilinadigan o'zgaruvchilar va usullarni belgilashlari kerak. Avtomobil misolida sinf avtomobil ob'ektining xususiyatlarini ifodalaydi, avtomobilning funksionalligini qamrab oladi va birinchi navbatda avtomobilni sinf sifatida e'lon qiladi.
2.Ob'ektlar
Ob'ektlar sinflar bilan birga mavjud. Aslini olganda, bu dasturchi aniqlay oladigan aniq tuzilishga ega bo'lgan ma'lumotlar maydonlari. Ob'ekt chaqirilgandan so'ng, dastur misol yaratadi. Ob'ektga murojat qilish uchun mashinaning o'ziga xos rangi va turi kabi sinfga tegishli ma'lumotlarni taqdim etish kerak bo'ladi.
avtomobil = Avtomobil ('qizil', 'Sedan')
Yuqoridagi kod noyob avtomobil ob'ektining ma'lum bir nusxasini rasmiy ravishda o'rnatadi.
Haydash usuli qanday ishlashini ko'rishingiz mumkin.
car.drive()
|
| |
