kvantorlar

PPT 18 sahifa 812,0 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇
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
kvantorlar - Page 4
5 / 18
kvantorlar - Page 5

Ko'proq o'qimoqchimisiz?

Barcha 18 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"kvantorlar" haqida

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

Bu fayl PPT formatida 18 sahifadan iborat (812,0 KB). "kvantorlar"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: kvantorlar PPT 18 sahifa Bepul yuklash Telegram