Asosiy mazmunga o'tish

Diskret matematika va matematik mantiq

DMMM11208 · 1-semestr · 60540200 Amaliy matematika · 2026-yil qabuli

Kredit
4
Jami soat
120
Auditoriya
48
Turi
Majburiy
Fanlar bloki
Majburiy fanlar
Yakuniy nazorat shakli
Imtihon

Soatlar taqsimoti

  • Ma’ruza24 soat
  • Amaliy24 soat
  • Mustaqil ta’lim72 soat

Mavzular · 36

Ma’ruza · 24 soat

  1. 1.To‘plamlar va ular ustida amallar. To‘plamlar nazariyasining asosiy tushunchalari. To‘plamlar ustida amallar.2
  2. 2.Munosabatlar. Relyasion algebra. Funsiya. Munosabatlar. Relyasion algebra. Binar munosabatlarning ko‘paytmasi. Funsiya tushunchasi. Funksiyalar superpozitsiyasi.2
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar.2
  4. 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi.2
  5. 5.Chinlik jadvali. Formula, qism formula. Chinlik jadvali. Formula, qism formula. Formulalarni tiklash.2
  6. 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari. Asosiy teng kuchlilik. Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari. Teng kuchli formulalarga oid teoremalar.2
  7. 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari. Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
  8. 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar. Formulalarning normal shakllari. Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar. Formulalarning mukammal normal shakllari. Formulalarni tiklash.2
  9. 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari. Mantiq algebrasidagi ikki taraflama qonun. Mantiq algebrasidagi arifmetik amallar. Bul algebrasi. Jegalkin ko‘phadi. Mantiq algebrasidagi monoton funksiyalar. Rele-kontakt sxemalari.2
  10. 10.Formal aksiomatik nazariya. Mulohazalar hisobi. Formal aksiomatik nazariya. Mulohazalar hisobi formulasi. Keltirib chiqarish qoidalari.2
  11. 11.Mulohazalar hisobining aksiomalari. Mulohazalar hisobining aksiomalari.2
  12. 12.Deduksiya teoremasi. Deduksiya teoremasi. Umumlashgan deduksiya teoramasi. Konyunksiya va dizyunksiyani kiritish qoidasi.2

Amaliy · 24 soat

  1. 1.To‘plamlar va ular ustida amallar.2
  2. 2.Munosabatlar. Relyasion algebra. Funsiya.2
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar.2
  4. 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula.2
  5. 5.Chinlik jadvali. Formula, qism formula.2
  6. 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari.2
  7. 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
  8. 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar.2
  9. 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari.2
  10. 10.Formal aksiomatik nazariya. Mulohazalar hisobi.2
  11. 11.Mulohazalar hisobining aksiomalari.2
  12. 12.Deduksiya teoremasi.2

Mustaqil ta’lim · 72 soat

  1. 1.To‘plamlar va ular ustida amallar.6
  2. 2.Munosabatlar. Relyasion algebra. Funsiya.6
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar.6
  4. 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula.6
  5. 5.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari.6
  6. 6.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.6
  7. 7.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar.6
  8. 8.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari.6
  9. 9.Formal aksiomatik nazariya. Mulohazalar hisobi.6
  10. 10.Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.6
  11. 11.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.6
  12. 12.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.6

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