Asosiy mazmunga o'tish

Algebra va sonlar nazariyasi

ASNM1129 · 5-semestr · 60110600 Matematika va informatika · 2023-yil qabuli

Kredit
4
Jami soat
120
Auditoriya
60
Turi
Majburiy
Fanlar bloki
Majburiy fanlar
Yakuniy nazorat shakli
Imtihon

Soatlar taqsimoti

  • Ma’ruza30 soat
  • Amaliy30 soat
  • Mustaqil ta’lim60 soat

Mavzular · 55

Ma’ruza · 30 soat

  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

Amaliy · 30 soat

  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

Mustaqil ta’lim · 60 soat

  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

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