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

Diskret matematika va matematik mantiq

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

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

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

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

Темы · 39

Лекция · 30 ч

  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

Практика · 30 ч

  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

Самостоятельная работа · 90 ч

  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

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

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

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

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