Asosiy mazmunga o'tish

Algebra va sonlar nazariyasi

ASNM2117 · 6-semestr · 60110600 Matematika va informatika · 2022-yil qabuli

Kredit
6
Jami soat
180
Auditoriya
16
Turi
Majburiy
Fanlar bloki
Majburiy fanlar
Yakuniy nazorat shakli
Imtihon

Soatlar taqsimoti

  • Ma’ruza8 soat
  • Amaliy8 soat
  • Mustaqil ta’lim164 soat

Mavzular · 21

Ma’ruza · 8 soat

  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

Amaliy · 8 soat

  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

Mustaqil ta’lim · 164 soat

  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

Nazorat turlari (maksimal ball)

  • Yakuniy nazorat 5
  • Umumiy 5
  • 1-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