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

Algebra va sonlar nazariyasi

ASNM1129 · 5-семестр · 60110600 Музыкальное образование · Набор 2023 г.

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

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

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

Темы · 55

Лекция · 30 ч

  1. 1.Diskret matematika va matematik mantiq tarixi.2
  2. 2.Mulohaza. Mulohazalar ustida mantiqiy amallar.2
  3. 3.Formulalar2
  4. 4.Formulalarning normal shakllari2
  5. 5.Mantiq algebrasidagi ikki taraflamalik qonuni.2
  6. 6.Mantiq algebrasidagi arifmetik amallar.2
  7. 7.Funksiyalar sistemasining to'liqligi. Funksional yopiq sinflar va Post teoremasi.2
  8. 8.Matematik mantiqning diskret texnikaga tatbiqiari. Funksional elementlar va ulardan sxemalar yasash.2
  9. 9.Tupikli diz'yunktiv normal shakllarni yasash algoritmi.2
  10. 10.Predikatlar va ular ustida mantiqiy amallar.2
  11. 11.Predikatlar mantiqi formulasining nomal shakli. Bajariluvchi va umumqiymatli formulalar.2
  12. 12.Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.2
  13. 13.Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to'plamlar.2
  14. 14.Tyuring mashinalari.2
  15. 15.Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo'yicha hisoblanuvchi funksiyalar.2

Практика · 30 ч

  1. 1.Diskret matematika va matematik mantiq tarixi.2
  2. 2.Mulohaza. Mulohazalar ustida mantiqiy amallar.2
  3. 3.Formulalar2
  4. 4.Formulalarning normal shakllari2
  5. 5.Mantiq algebrasidagi ikki taraflamalik qonuni.2
  6. 6.Mantiq algebrasidagi arifmetik amallar.2
  7. 7.Funksiyalar sistemasining to'liqligi. Funksional yopiq sinflar va Post teoremasi.2
  8. 8.Matematik mantiqning diskret texnikaga tatbiqiari. Funksional elementlar va ulardan sxemalar yasash.2
  9. 9.Tupikli diz'yunktiv normal shakllarni yasash algoritmi.2
  10. 10.Predikatlar va ular ustida mantiqiy amallar.2
  11. 11.Predikatlar mantiqi formulasining nomal shakli. Bajariluvchi va umumqiymatli formulalar.2
  12. 12.Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.2
  13. 13.Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to'plamlar.2
  14. 14.Tyuring mashinalari.2
  15. 15.Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo'yicha hisoblanuvchi funksiyalar.2

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

  1. 1.Diskret matematika va matematik mantiqning umumiy tushunchalari va uning zamonaviy amaliy masalalami echishdagi o'mi. Mulohaza.2
  2. 2.Mulohazalar ustida mantiqiy amallar.2
  3. 3.Formulalar. Teng kuchli formulalar. Aynan chin, aynan yolg'on va bajariluvchi formulalar.2
  4. 4.Formulalarning normal shakllari. Diz'yunktiv va kon'yunktiv normal shakilar.4
  5. 5.Mukammal kon'yunktiv va diz'yunktiv normal shakllar.2
  6. 6.Mantiq algebrasidagi ikki taraflamalik qonuni.2
  7. 7.Mantiq algebrasidagi arifmetik amallar. Jegalkin ko'phadi.2
  8. 8.Funksiyalar sistemasining to'liqligi. Funksional yopiq sinflar va Post teoremasi.4
  9. 9.Matematik mantiqning diskret texnikaga tatbiqlari.2
  10. 10.Funktsional elementlar va ulardan sxemalar yasash.2
  11. 11.Tupikli diz'yunktiv normal shakllarni geometrik asosda yasash usullari.2
  12. 12.Tupikli diz'yunktiv normal shakllarni yasash algoritmi.2
  13. 13.Ayrim yagona tarzda hosil qilinadigan diz'yunktiv normal shakllar.2
  14. 14.Predikat tushunchasi. Predikatlar ustida mantiqiy amallar.2
  15. 15.Umumiylik va mavjudlik kvantorlari.2
  16. 16.Formula tushunchasi. Formulaning qiymatini hisoblash.2
  17. 17.Predikatlar mantiqi formulasining nomal shakli.2
  18. 18.Bajariluvchi va umumqiymatli formulalar. Echilish muammosi.2
  19. 19.Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.2
  20. 20.Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.2
  21. 21.Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to'plamlar.4
  22. 22.Tyuring mashinalari.4
  23. 23.Tyuring mashinasida algoritmni realizasiya qilish. Tyuring mashinasi ustida amallar.4
  24. 24.Algoritmlar nazariyasining asosiy gipotezasi.2
  25. 25.Markovning normal algoritmlari. Markov bo'yicha hisoblanuvchi funksiyalar.2

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

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

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

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