Samarqand dalat universiteti

1.2. FANNING HAJMI VA MAZMUNI


1.2.1 Fanning hajmi

№	Mashg’ulot turi	Ajratilgan soat rejada (1-semestr)
1.	Nazariy mashg’ulot	30
2.	Amaliy mashg’ulot	32
3.	Mustaqil ish	60
	JAMI:	122

1.2.2. Fanning ta’lim standartlariga asoslangan mazmuni

• 
  Nazariy mashg’ulotlar mazmuni.
  

Diskret matematika va matematik mantiq tarixi va uning asoslari. Tarixiy ma’lumotlar. Diskret

matematika va matematik mantiqning umumiy tushunchalari va uning zamonaviy amaliy masalalarni yechishdagi o’rni. Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. Teng kuchli formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar. Asosiy tengkuchliliklar. Teng kuchli formulalarga doir teoremalar.Formulalarning normal shakllari. Diz’yunktiv va kon’yunktiv normal shakllar. Mukammal kon’yunktiv va diz’yunktiv normal shakllar. Formulalarning asosiy xossalari. Tengkuchlimas formulalar soni. Bul algebrasi. Mantiq algebrasidagi ikkitaraflamalik qonuni. Mantiq algebrasidagi arifmetik amallar. Jegalkin ko’phadi. Mantiq algebrasidagi monoton funksiyalar. Funksiyalar sistemasining to’liqligi. Funksional yopiq sinflar va Post teoremasi. Matematik mantiqning diskret texnikaga tatbiqlari. Funksional elementlar va ulardan sxemalar yasash. Ko’ptaktli sxemalar. Rele – kontaktli sxemalar. Kontaktli sxemalar va ularning sintezi.Chekli avtomat haqida umumiy tushunchalar. Mili va Mur avtomatlari. Matematik mantiq funksiyalarini minimallashtirish muammosi. Diz’yunktiv normal shaklni soddalash-tirish masalasi. Qisqartirilgan diz’yunktiv normal shakl. Qisqartirilgan diz’yunktiv normal shaklni yasash algoritmi. Tupikli diz’yunktiv normal shakllarni geometrik asosda yasash usullari. Tupikli diz’yunktiv normal shakllarni yasash algoritmi. Ayrim yagona tarzda hosil qilinadigan diz’yunktiv normal shakllar. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari. Formula tushunchasi. Formulaning qiymatini hisoblash. Predikatlar mantiqi formulasining nomal shakli.Bajariluvchi va umumqiymatli formulalar. Yechilish muammosi. Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi. Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to’plamlar. Algoritm tu-shunchasiga aniqlik kiritish. Tyuring mashinalari. Tyuring mashinasida algoritmni realizasiya qilish. Tyuring mashinasi ustida amallar. Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo’yicha hisoblanuvchi funksiyalar.

•