Diskret matematika va matematik mantiq
DMMM11208 · 1-semester · 60540200 Applied Mathematics · 2024 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 · 24
Lecture · 24 h
- 1.To‘plamlar va ular ustida amallar2
- 2.Munosabatlar. Relyasion algebra. Funsiya2
- 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar2
- 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula2
- 5.Chinlik jadvali. Formula, qism formula2
- 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari2
- 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
- 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar2
- 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari2
- 10.Formal aksiomatik nazariya. Mulohazalar hisobi2
- 11.Mulohazalar hisobining aksiomalari2
- 12.Deduksiya teoremasi2
Practical · 24 h
- 1.To‘plamlar va ular ustida amallar2
- 2.Munosabatlar. Relyasion algebra. Funsiya2
- 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar2
- 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula2
- 5.Chinlik jadvali. Formula, qism formula2
- 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari2
- 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari2
- 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar2
- 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari2
- 10.Formal aksiomatik nazariya. Mulohazalar hisobi2
- 11.Mulohazalar hisobining aksiomalari2
- 12.Deduksiya teoremasi2
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