Asosiy mazmunga o'tish

Diskret matematika va matematik mantiq

DMMM11208 · 1-semestr · 60540200 Amaliy matematika · 2024-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 · 24

Ma’ruza · 24 soat

  1. 1.To‘plamlar va ular ustida amallar2
  2. 2.Munosabatlar. Relyasion algebra. Funsiya2
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar2
  4. 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula2
  5. 5.Chinlik jadvali. Formula, qism formula2
  6. 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari2
  7. 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari.2
  8. 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar2
  9. 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari2
  10. 10.Formal aksiomatik nazariya. Mulohazalar hisobi2
  11. 11.Mulohazalar hisobining aksiomalari2
  12. 12.Deduksiya teoremasi2

Amaliy · 24 soat

  1. 1.To‘plamlar va ular ustida amallar2
  2. 2.Munosabatlar. Relyasion algebra. Funsiya2
  3. 3.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to‘plamlar2
  4. 4.Mantiqiy bog‘lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula2
  5. 5.Chinlik jadvali. Formula, qism formula2
  6. 6.Formulalarning teng kuchliligi. Mulohazalar algebrasining teng kuchliliklari2
  7. 7.Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari2
  8. 8.Normal formalari. Maksimal dizyunktiv va konyunktiv normal formalar2
  9. 9.Mulohazalar algebrasi funksiyalari. Bul algebrasi. Rele-kontakt sxemalari2
  10. 10.Formal aksiomatik nazariya. Mulohazalar hisobi2
  11. 11.Mulohazalar hisobining aksiomalari2
  12. 12.Deduksiya teoremasi2

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