diskrett uzilmasi

PPTX 13 стр. 105,1 КБ Бесплатная загрузка

13 стр.

FaylHub.uz

Скачать через Telegram

Размер 105,1 КБ

Тип файла PPTX

Страницы 13

Обновлено Дек 2025

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

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

Хотите читать дальше?

Скачайте все 13 страниц бесплатно через Telegram.

Скачать полный файл

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

Этот файл содержит 13 стр. в формате PPTX (105,1 КБ). Чтобы скачать "diskrett uzilmasi", нажмите кнопку Telegram слева.

Теги: diskrett uzilmasi PPTX 13 стр. Бесплатная загрузка Telegram