Skip to content

Algebra va sonlar nazariyasi

ASNM1129 · 5-semester · 60110600 Music Education · 2023 intake

Credits
4
Total hours
120
Contact hours
60
Type
Compulsory
Block
Majburiy fanlar
Final assessment
Imtihon

Hours breakdown

  • Lecture30 h
  • Practical30 h
  • Independent study60 h

Topics · 55

Lecture · 30 h

  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

Practical · 30 h

  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

Independent study · 60 h

  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

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