Loyiha nomi: Matematika fanini o‘qitish huquqini berish bo‘yicha kasbiy qayta tayyorlash kursi uchun video kontent yaratish
- Bu səhifədəki naviqasiya:
- 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.
Yüklə 154,35 Kb.
Dostları ilə paylaş:
