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

Algebra va sonlar nazariyasi

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

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

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

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

Темы · 21

Лекция · 8 ч

  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

Практика · 8 ч

  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

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

  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

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

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

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

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