Skip to content

Algebra va sonlar nazariyasi

ASNM2117 · 6-semester · 60110600 Music Education · 2022 intake

Credits
6
Total hours
180
Contact hours
16
Type
Compulsory
Block
Majburiy fanlar
Final assessment
Imtihon

Hours breakdown

  • Lecture8 h
  • Practical8 h
  • Independent study164 h

Topics · 21

Lecture · 8 h

  1. 1.Matematik mantiqning diskret texnikaga tatbiqlari. Funksional elementlar va ulardan sxemalar yasash.2
  2. 2.Predikatlar mantiqi formulasining nomal shakli. Bajariluvchi va umumqiymatli formulalar.2
  3. 3.Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to‘plamlar.2
  4. 4.Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo‘yicha hisoblanuvchi funksiyalar.2

Practical · 8 h

  1. 1.Mantiq algebrasidagi ikki taraflamalik qonuni. Mantiq algebrasidagi arifmetik amallar2
  2. 2.Matematik mantiqning diskret texnikaga tatbiqlari. Funksional elementlar va ulardan sxemalar yasash2
  3. 3.Predikatlar mantiqi formulasining nomal shakli. Bajariluvchi va umumqiymatli formulalar2
  4. 4.Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo‘yicha hisoblanuvchi funksiyalar2

Independent study · 164 h

  1. 1.Bul algebrasi8
  2. 2.Mantiq algebrasidagi monoton funktsiyalar10
  3. 3.Mukammal kon’yunktiv va diz’yunktiv normal shakllar10
  4. 4.Matematik mantiq funktsiyalarini minimallashtirish muammosi10
  5. 5.Diz’yunktiv normal shaklni soddalashtirish masalasi10
  6. 6.Qisqartirilgan diz’yunktiv normal shakl. Qisqartirilgan diz’yunktiv normal shaklni yasash algoritmi10
  7. 7.Algoritm tushunchasiga aniqlik kiritish10
  8. 8.Bichiziqli va kvadratik formalar10
  9. 9.Inertsiya qonuni20
  10. 10.Asosiy teng kuchliliklar. Teng kuchli formulalarga doir teoremalar20
  11. 11.Chiziqli almashtirishning Jordan normal shakli.20
  12. 12.Tyuring mashinalari20
  13. 13.Predikatlar mantiqi formulasining nomal shakli. Bajariluvchi va umumqiymatli formulalar6

Assessment (max score)

  • Final exam 5
  • Total 5
  • Midterm 1 5

Source: HEMIS. Titles as in HEMIS (in Uzbek). Reading list and grading criteria are in the department's approved syllabus.

Back to curriculum