Diskret matematika va matematik mantiq
DMMM11208 · 2-semestr · 60540200 Amaliy matematika · 2025-yil qabuli
- Kredit
- 5
- Jami soat
- 150
- Auditoriya
- 60
- Turi
- Majburiy
- Fanlar bloki
- Majburiy fanlar
- Yakuniy nazorat shakli
- Imtihon
Soatlar taqsimoti
- Ma’ruza30 soat
- Amaliy30 soat
- Mustaqil ta’lim90 soat
Mavzular · 39
Ma’ruza · 30 soat
- 1.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.2
- 2.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.2
- 3.Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar.2
- 4.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.2
- 5.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.2
- 6.Muhim yopiq sinflar.2
- 7.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.2
- 8.Predikatlar mantiqi.2
- 9.Umumiylik va mavjudlik kvantorlari.2
- 10.Predikatlar algebrasining formulalari.2
- 11.Predikatlar algebrasida formulalarning teng kuchliligi.2
- 12.Formulalarning normal kanonik formalari.2
- 13.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.4
- 14.Kiritish chiqarish qoidasi.2
Amaliy · 30 soat
- 1.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.2
- 2.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.2
- 3.Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar.2
- 4.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.2
- 5.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.2
- 6.Muhim yopiq sinflar.2
- 7.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.2
- 8.Predikatlar mantiqi.2
- 9.Umumiylik va mavjudlik kvantorlari.2
- 10.Predikatlar algebrasining formulalari.2
- 11.Predikatlar algebrasida formulalarning teng kuchliligi.2
- 12.Formulalarning normal kanonik formalari.2
- 13.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.4
- 14.Kiritish chiqarish qoidasi.2
Mustaqil ta’lim · 90 soat
- 1.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.10
- 2.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.8
- 3.Muhim yopiq sinflar.8
- 4.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.8
- 5.Predikatlar mantiqi.8
- 6.Umumiylik va mavjudlik kvantorlari.8
- 7.Predikatlar algebrasining formulalari.8
- 8.Predikatlar algebrasida formulalarning teng kuchliligi.8
- 9.Formulalarning normal kanonik formalari.8
- 10.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.8
- 11.Kiritish chiqarish qoidasi.8
Nazorat turlari (maksimal ball)
- Yakuniy nazorat 5
- Umumiy 5
- 1-oraliq nazorat 5
- 2-oraliq nazorat 5
Manba: HEMIS. Fan va mavzu nomlari HEMIS’dagidek (o‘zbek tilida). Adabiyotlar ro‘yxati va baholash mezonlari — kafedraning tasdiqlangan sillabusida.
O‘quv rejaga qaytish