Перейти к содержимому

Diskret matematika va matematik mantiq

DMMM11208 · 1-семестр · 60540200 Прикладная математика · Набор 2024 г.

Кредиты
4
Всего часов
120
Аудиторные
48
Тип
Обязательный
Блок
Majburiy fanlar
Форма итогового контроля
Imtihon

Распределение часов

  • Лекция24 ч
  • Практика24 ч
  • Самостоятельная работа72 ч

Темы · 24

Лекция · 24 ч

  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

Практика · 24 ч

  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

Формы контроля (макс. балл)

  • Итоговый контроль 5
  • Итого 5
  • 1-й промежуточный 5
  • 2-й промежуточный 5

Источник: HEMIS. Названия как в HEMIS (на узбекском). Список литературы и критерии оценивания — в утверждённом силлабусе кафедры.

К учебному плану