diskrett uzilmasi

PPTX 13 sahifa 105,1 KB Bepul yuklash

13 sahifa

FaylHub.uz

Telegram orqali yuklab olish

Hajm 105,1 KB

Fayl turi PPTX

Sahifalar 13

Yangilangan Dek 2025

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1 / 13

prezentatsiya powerpoint o’zbekiston respublikasi axborot texnologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti qarshi filiali “tt va kt ” fakulteti 2 -bosqich ri 11-21 guruh talabasining “diskret tuzilmasi” fanidan tayyorlagan mustaqil ishi predikatlar algebrasi, mulohazalar hisobi formulasi tushunchasi reja: predikatlar algebrasi mulohazalar hisobi formulasi tushunchasi predikatlar algebrasi formulalarining normal formalari. 1 - ta’rif. predikatlar algebrasida inkor amali faqat elementar formulalar oldida kelib, kon’yunksiya, diz’yunksiya, kvantor amallaridan boshqa hech qanday amal qatnashmagan formula normal forma ( formula ) deyiladi. - teorema. predikatlar algebrasining ixtiyoriy formulasi yo normal forma, yo unga teng kuchli normal forma mavjud. isbot. haqiqatdan, agar formulada  ,  amallari qatnashsa, ularda         ,     (    )  (     ) tengkuchliliklardan foydalanib  ,  amallarni  ,  ,  amallari bilan almashtiramiz. inkor amali faqat …

2 / 13

) formula 𝑀 to`plamning elementlarini x1, . . . , xn o‘zgaruvchi predmetlar o`rniga qo‘yib chiqib, ℑ formulaning qiymatlarini tekshirib chiqamiz. bu jarayon chekli qadamda yakunlanadi. kvantor amallarini esa kon’yunksiya, diz’yunksiya amallari bilan almashtirish mumkin. - misol. x u ( r ( x, u, z )  q ( x )) formula 𝑀  { a, b } to`plamda bajariluvchi bo‘lish bo‘lmasligini aniqash uchun avval formula ko‘rinishini asosiy tengkuchliliklar yordamida o‘zgartiramiz :x u ( r ( x, u, z )  q ( x ))  x ( p ( x, a, z )  q ( x )   r ( x, b, z ))  ( p ( a, a, z )  q ( a )  p ( a, b, z ))   ( p ( b, a, z )  q ( b )  p ( b, b, z )). hosil bo‘lgan …

3 / 13

i ko‘rinishda bo‘lsin : 𝐵  x1. . . xn ℑ ( u1, . . . ,up ; p1, . . . , pq ; . . . q1, . . . , qt ) ( 1 ). 𝐵 formulada y1,y2, . . . , yp – o‘zgaruvchi mulohazalar ; p1,p2, . . . , pq – bir o‘rinli predikatlar simvollari va h.k. q1, q2, . . . , qt - m – o‘rinli predikatlar simvollari; ℑ - teorema shartiga ko`ra kvantorsiz formuladir. teorema shartiga ko`ra 𝐵 formula ixtiyoriy bir elementli 𝑀  { a } to`plamda aynan rost. ya’ni ℑ ( u1, . . . ,ur ; r1( a ) , . . . , rq ( a ) ; q1( a, . . . , a ), . . . qt( a, . . . , a ) )  1. faraz qilaylik ( 1 ) formula umumqiymatli …

4 / 13

’rifga ko’ra “0 q ko’rinishda belgilanadi. implikatsiya amaliga “agar …, bo’lsa, u holda, … bo’ladi” kabi bog’lovchi so’zlar mos keladi. masalan, p: ”5*5=25” – rost, q: ”6*6=36” - rost, p=>q: ”agar 5*5=25 bo’lsa, u holda 6*6=36” bo’ladi – rost. p=>q implikatsiya quyidagicha o’qiladi: “p dan q kelib chiqadi”, “p bo’lishi uchun q ning bo’lishi zarur”, “p mulohaza q mulohaza uchun etarli”. implikatsiya amaliga quyidagi rostlik jadvali mos keladi: p q p=>q 1 1 1 1 0 0 0 1 1 0 0 1 5. ekvivalensiya amali. ta’rif: p va q mulohazalarning ekvivalensiyasi deb p va q larning bir xil qiymatlarida rost, turli qiymatlarida yolg’on bo’lgan yangi mulohazaga aytiladi va uni  ko’rinishda belgilanadi. ekvivalensiya amaliga “agar … bo’lsa, shu holda va faqat shu holda ... bo’ladi”, “...bajarilishi uchun ... bajarilishi zarur va etarli” kabi bog’lovchi so’zlar mos keladi. masalan, p: “berilgan natural son 3 ga bo’linadi”, q: “berilgan sonning raqamlar …

5 / 13

2. yordamida aniqlangan formulalar murakkab formulalar deb yuritiladi. murakkab formulaga argumentlari rost yoki yolg’on qiymatni qabul qiluvchi funktsiya deb qarash mumkin. ta’rif: xi, (i  1, n) argumentlarning har bir qabul qilishi mumkin bo’lgan barcha 1 va 0 qiymatlar tizimida a(x1, x2,…,xn) formulani ifodalovchi mantiqiy funktsiya rost (yolg’on) qiymatga erishsa, u holda bu formula aynan rost (yolg’on) formula deyiladi. misol: a  b  a a b b  a a  b  a 1 1 1 1 1 0 1 1 0 0 1 0 0 1 1 agar a(x1, x2, …, xn) formulada n ta elementar mulohaza bo’lsa, u holda bu formulaning rostlik jadvali 2n ta satr (yo’l) dan iborat bo’ladi. foydalanilgan adabiyotlar 1. kompyuter fanlari / kurnosov a.p., kulev s.a., ulezko a.v. va boshq.; ed. a.p. kurnosova-m .: koloss, 2005.-272 bilan 2. malyshev r.a. mahalliy tarmoqlar: o'quv qo'llanmasi / rgata. - rybinsk, 2005. - 83 p. …

Ko'proq o'qimoqchimisiz?

Barcha 13 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"diskrett uzilmasi" haqida

prezentatsiya powerpoint o’zbekiston respublikasi axborot texnologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti qarshi filiali “tt va kt ” fakulteti 2 -bosqich ri 11-21 guruh talabasining “diskret tuzilmasi” fanidan tayyorlagan mustaqil ishi predikatlar algebrasi, mulohazalar hisobi formulasi tushunchasi reja: predikatlar algebrasi mulohazalar hisobi formulasi tushunchasi predikatlar algebrasi formulalarining normal formalari. 1 - ta’rif. predikatlar algebrasida inkor amali faqat elementar formulalar oldida kelib, kon’yunksiya, diz’yunksiya, kvantor amallaridan boshqa hech qanday amal qatnashmagan formula normal forma ( formula ) deyiladi. - teorema. predikatlar algebrasining ixtiyoriy formulasi yo norma...

Bu fayl PPTX formatida 13 sahifadan iborat (105,1 KB). "diskrett uzilmasi"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: diskrett uzilmasi PPTX 13 sahifa Bepul yuklash Telegram