Skip to content

Diskret matematika va matematik mantiq

DMMM11208 · 2-semester · 60540200 Applied Mathematics · 2025 intake

Credits
5
Total hours
150
Contact hours
60
Type
Compulsory
Block
Majburiy fanlar
Final assessment
Imtihon

Hours breakdown

  • Lecture30 h
  • Practical30 h
  • Independent study90 h

Topics · 39

Lecture · 30 h

  1. 1.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.2
  2. 2.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.2
  3. 3.Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar.2
  4. 4.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.2
  5. 5.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.2
  6. 6.Muhim yopiq sinflar.2
  7. 7.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.2
  8. 8.Predikatlar mantiqi.2
  9. 9.Umumiylik va mavjudlik kvantorlari.2
  10. 10.Predikatlar algebrasining formulalari.2
  11. 11.Predikatlar algebrasida formulalarning teng kuchliligi.2
  12. 12.Formulalarning normal kanonik formalari.2
  13. 13.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.4
  14. 14.Kiritish chiqarish qoidasi.2

Practical · 30 h

  1. 1.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.2
  2. 2.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.2
  3. 3.Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar.2
  4. 4.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.2
  5. 5.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.2
  6. 6.Muhim yopiq sinflar.2
  7. 7.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.2
  8. 8.Predikatlar mantiqi.2
  9. 9.Umumiylik va mavjudlik kvantorlari.2
  10. 10.Predikatlar algebrasining formulalari.2
  11. 11.Predikatlar algebrasida formulalarning teng kuchliligi.2
  12. 12.Formulalarning normal kanonik formalari.2
  13. 13.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.4
  14. 14.Kiritish chiqarish qoidasi.2

Independent study · 90 h

  1. 1.Normal formalar. Funksiyani o‘zgaruvchilar bo‘yicha yoyish.10
  2. 2.To‘liq sistemalar. Bul funksiyasini Jegalkin ko‘phadiga yoyish.8
  3. 3.Muhim yopiq sinflar.8
  4. 4.Monoton bo‘lmagan va chiziqli bo‘lmagan funksiyalar haqidagi lemmalar.8
  5. 5.Predikatlar mantiqi.8
  6. 6.Umumiylik va mavjudlik kvantorlari.8
  7. 7.Predikatlar algebrasining formulalari.8
  8. 8.Predikatlar algebrasida formulalarning teng kuchliligi.8
  9. 9.Formulalarning normal kanonik formalari.8
  10. 10.Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.8
  11. 11.Kiritish chiqarish qoidasi.8

Assessment (max score)

  • Final exam 5
  • Total 5
  • Midterm 1 5
  • Midterm 2 5

Source: HEMIS. Titles as in HEMIS (in Uzbek). Reading list and grading criteria are in the department's approved syllabus.

Back to curriculum