kvantorlar

PPT 18 pages 812.0 KB Free download

18 pages

FaylHub.uz

Download via Telegram

Size 812.0 KB

File type PPT

Pages 18

Updated Dec 2025

Page preview (5 pages)

Scroll down 👇

1 / 18

powerpoint template kvantorlar “boshlang`ich matematika kursi nazariyasi” fanidan taqdimot 19-mavzu: bilim sohasi: 100000 – gumanitar soha ta’lim sohasi: 110000 - pedagogika bakavriat yo’nalishi: 5111700 – boshlang’ich ta’lim va sport- tarbiyaviy ish * reja: kvantorlar va uning turlari. predikatlarni kvantorlar yordamida muloxazalarga aylantirish. b.b.b. jadvali (bilaman, bilishni xohlayman,bildim) № mavzu savoli bilaman bilishni xohlayman bildim 1. predikat 2 predikatning aniqlanish sohasini 3 umumiylik va mavjudlik kvantorlari deb nimaga aytiladi? 4 predikat inkori degani 5 predikatlar kon’yunksiyasi va diz’yunksiyasini chinlik to‘plamlarini ko‘rsatishni 6 predikatlar orasida kelib chiqishlik va tengkuchlilik munosabatlari uchun «zarur» va « yetarli» so‘zlarini ochib berishni we get this system by adding a single new primitive term “for all,” as well as some new symbols that we call variables, and write x, y, z, and so on, perhaps with subscripts if we are afraid of running out of appropriate letters. finally, we introduce predicates p(x), q(x; y), r(x; y; z), …

2 / 18

(x):=”biror x uchun p(x)”, belgilar mos ravishda umumiylik va mavjudlik kvantorlari deyiladi.  va  bu yerda shunga o`hshash belgilar dastlab 1879 yilda fregenin «begriffsschrift» («tushunchalar hisobi») kitobida keltirilgan bo`lib, xozirgi ko`rinishda peanoning «formulaire de mathematiques» kitobida ilk bor uchraydi. «kvantor» terminini 1885 yilda ch. pirs kiritgan. mulohazalarni mantiqiy belgilar yordamida yozish. matematik mulohazalarni mantiqiy belgilar yordamida yozish uchun odatda chekli sondagi asosiy predikatlar tanlab olinib, qolgan xossa va munosabatlar ushbu predikatlar hamda erkli o`zgaruvchilar yordamida yordamida tuzilgan ta’rif, teoremalar orqali ifodalanadi. misol. p(x)=” x - to`rtburchak”, q(x)=” x - kvadrat” predikatlar berilgan bo`lsa, u holda “ixtiyoriy kvadrat to`rtburchakdir” mulohaza x q(x) p(x) ko`rinishda, ” ba’zi to`rtburchaklar kvadratdir”  mulohaza esa x q(x) p(x) ko`rinishda yoziladi. predikatli formulalar. bu yerda biz isbotsiz muxim bo`lgan tavtologiyalarni keltiramiz.  (x p(x))  x (  p(x)) “p(x) barcha x uchun o`rinli emas “ “p(x) ni qanoatlantirmaydigan x mavjud“  ( x p(x)) …

3 / 18

deyarli barcha teoremalar isbot qilinadi. xulosa. matematikaning ko`p mulohazalari predikatlar va kvantorlar yordamida yozilar ekan. shuning uchun ular yordamida ob’ektlarning barcha xossalari va ular orasidagi munosabatlarni yoritish mumkin ekan. mulohazalar algebrasini hamda mantiqiy qonunlarni chuqurroq o`rganish katta kurslarda «matematik mantiq va algoritmlar nazariyasi» kursida amalga oshadi. misol: predikat rostlik to’plamini topaylik. yechilishi: x – predikatlarning aniqlanish sohasi, tr – r(x) predikatning rostlik to’plami, tq - q(x) predikatning rostlik to’plami, tr – r(x) predikatning rostlik to’plami bo’lsin. bu to’plamlarni diagrammada tasvirlaymiz. umumiy holda deb olamiz. konyunksiyaning rostlik to’plami sohadan iborat, shtrixlaymiz. predikatning rostlik to’plami: (barcha shtrixlangan predikatning rostlik to’plamini eyler doiralarida shtrixlab ko’rsating). kvantorning ta’rifini ayting. kvantorning qanday turlarini bilasiz. predikatlarni kvantorlar yordamida muloxazalarga aylantirig. o‘z-o‘zini tekshirish uchun savollar: e’tiboringiz uchun rahmat thank you for your attention

4 / 18

5 / 18

Want to read more?

Download all 18 pages for free via Telegram.

Download full file

About "kvantorlar"

powerpoint template kvantorlar “boshlang`ich matematika kursi nazariyasi” fanidan taqdimot 19-mavzu: bilim sohasi: 100000 – gumanitar soha ta’lim sohasi: 110000 - pedagogika bakavriat yo’nalishi: 5111700 – boshlang’ich ta’lim va sport- tarbiyaviy ish * reja: kvantorlar va uning turlari. predikatlarni kvantorlar yordamida muloxazalarga aylantirish. b.b.b. jadvali (bilaman, bilishni xohlayman,bildim) № mavzu savoli bilaman bilishni xohlayman bildim 1. predikat 2 predikatning aniqlanish sohasini 3 umumiylik va mavjudlik kvantorlari deb nimaga aytiladi? 4 predikat inkori degani 5 predikatlar kon’yunksiyasi va diz’yunksiyasini chinlik to‘plamlarini ko‘rsatishni 6 predikatlar orasida kelib chiqishlik va tengkuchlilik munosabatlari uchun «zarur» va « yetarli» so‘zlarini ochib berishni we get this...

This file contains 18 pages in PPT format (812.0 KB). To download "kvantorlar", click the Telegram button on the left.

Tags: kvantorlar PPT 18 pages Free download Telegram