kvantorlar

PPT 18 стр. 814,5 КБ Бесплатная загрузка

18 стр.

FaylHub.uz

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

Размер 814,5 КБ

Тип файла PPT

Страницы 18

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

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

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

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

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

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

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

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

Этот файл содержит 18 стр. в формате PPT (814,5 КБ). Чтобы скачать "kvantorlar", нажмите кнопку Telegram слева.

Теги: kvantorlar PPT 18 стр. Бесплатная загрузка Telegram