Loyiha nomi: Matematika fanini o‘qitish huquqini berish bo‘yicha kasbiy qayta tayyorlash kursi uchun video kontent yaratish

Download 154,35 Kb. bet 40/74 Sana 16.03.2022 Hajmi 154,35 Kb. #493253

Bog'liq
Математика курси-288

Bu sahifa navigatsiya:

• 2-mavzu. Predikat tushunchasi. Bir o‘zgaruvchili predikatning rostlik sohasi. Predikatlar ustida amallar.
• 3-mavzu. To‘plamlar va ular ustida amallar. Binar munosabatlar.
• 4-mavzu. Akslantirish. Akslantirishlar kompozitsiyasi. Ekvivalentlik munosabati. Ekvivalentlik sinflari. Tartib munosabati.

Jami

51

1-mavzu. Darak gap. Mulohaza. Mulohazaning rostlik qiymati. Mulohazalar ustida mantiq amallari. Mulohazaviy formula. Formula rangi, rostlik jadvali. Teng kuchli formulalar.
Darak gap. Mulohaza. Mulohazaning rostlik qiymati. Mulohazalar ustida mantiq amallari: dizyunksiya, konyunksiya, implikatsiya, ekvivalensiya, inkor. Mantiq amallarining bajarilish tartibi. Mulohazalar algebrasi. Mulohazalar algebrasi alfaviti. Mulohazaviy formula. Formula rangi. Formulaosti. Formulaning rostlik jadvali. Aynan rost, aynan yolg‘on, bajariluvchi formulalar. Teng kuchli formulalar. Asosiy tengkuchliliklar. Formulalarni teng kuchli almashtirishlar.
2-mavzu. Predikat tushunchasi. Bir o‘zgaruvchili predikatning rostlik sohasi. Predikatlar ustida amallar.
Predikat tushunchasi. Bir o‘zgaruvchili predikatning rostlik sohasi va uning xossalari. Predikatlar ustida amallar. Predikatlarni kvantorlar bilan bog‘lash. Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi. Teorema. To‘g‘ri, to‘g‘riga teskari, to‘g‘riga qarama-qarshi, teskariga qarama-qarshi teoremalar. Matematik tasdiqlarni predikatlar tilida yozish.
3-mavzu. To‘plamlar va ular ustida amallar. Binar munosabatlar.
To‘plam, to‘plam elementi. To‘plamlarning tengligi. Qismto‘plam. Bo‘sh to‘plam. Universal to‘plam. To‘plamlar ustida amallar va ularning asosiy xossalari. To‘plamning to‘ldiruvchisi. Eyler-Venn diagrammmalari.
To‘plamlarning to‘g‘ri ko‘paytmasi. Binar munosabatlar. Binar munosabatlar aniqlanish va qiymatlar sohasi. Binar munosabat inversiyasi. Refleksiv, antirefleksiv, simmetrik, antirekleksiv, tranzitiv binar munosabatlar. n-ar munosabatlar. Binar munosabatlar kompozitsiyasi va uning xossalari. Binar munosabatlarni graflar orqali ifodalash.
4-mavzu. Akslantirish. Akslantirishlar kompozitsiyasi. Ekvivalentlik munosabati. Ekvivalentlik sinflari. Tartib munosabati.
Akslantirish. Akslantirishning aniqlanish sohasi va qiymatlar to‘plami. Akslantirishlar kompozitsiyasi. In’ektiv, syur’ektiv, teskarilanuvchi funksiyalar.
Ekvivalentlik munosabati. Bo‘sh bo‘lmagan to‘plamni bo‘laklash. Ekvivalentlik sinflari. Faktor-to‘plam. Tartib munosabati. Qisman, qat’iy, Chiziqli tartib munosabatlari. Tartiblangan to‘plamlar.

Download 154,35 Kb.

Do'stlaringiz bilan baham: