diskrett uzilmasi

PPTX 13 pages 105.1 KB Free download

13 pages

FaylHub.uz

Download via Telegram

Size 105.1 KB

File type PPTX

Pages 13

Updated Dec 2025

Page preview (5 pages)

Scroll down 👇

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. …

Want to read more?

Download all 13 pages for free via Telegram.

Download full file

About "diskrett uzilmasi"

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...

This file contains 13 pages in PPTX format (105.1 KB). To download "diskrett uzilmasi", click the Telegram button on the left.

Tags: diskrett uzilmasi PPTX 13 pages Free download Telegram