Skip to content

Diskret matematika va matematik mantiq

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

Credits
4
Total hours
120
Contact hours
48
Type
Compulsory
Block
Majburiy fanlar
Final assessment
Imtihon

Hours breakdown

  • Lecture24 h
  • Practical24 h
  • Independent study72 h

Topics · 32

Lecture · 24 h

  1. 1.To‘plamlar va ular ustida amallar2
  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.4
  5. 5.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari.2
  6. 6.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
  7. 7.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar.2
  8. 8.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari.2
  9. 9.Formal aksiomatik nazariya. Mulohazalar hisobi.2
  10. 10.Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.4

Practical · 24 h

  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.4
  5. 5.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari.2
  6. 6.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
  7. 7.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar.2
  8. 8.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari.2
  9. 9.Formal aksiomatik nazariya. Mulohazalar hisobi.2
  10. 10.Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.4

Independent study · 72 h

  1. 1.To‘plamlar va ular ustida amallar.4
  2. 2.Munosabatlar. Relyasion algebra. Funsiya.4
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar.4
  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.8
  10. 10.Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.8
  11. 11.To‘liqlik haqida Gyodel teoremasi. Ziddiyatsizlik.8
  12. 12.Elementar Bul funksiyalari. Muhim va soxta o‘zgaruvchilar.6

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