O`zbekiston respublikasi oliy va o`rta maxsus ta’lim vazirligi urganch davlat universiteti diskret matematika va matematik mantiq

IV. Kurs ishi mashg'ulotlari bo'yicha va tavsiyalar 
Kurs ishi mashg’ulotlari uchun quyidagi mavzular tavsiya etiladi: 
To’plamlar nazariyasi elementlari. 
Munosabatlar. Binar munosabatlar. 
Mulohazalar va ular ustida amallar. 
Formula tushunchasi va teng kuchli formulalar. 
Asosiy teng kuchliliklar. Teng kuchli formulalarga doir teoremalar.
Formulalarni chinlik jadvali bo’yicha tiklash. 
Formulaning chinlik to'plami. 
Mantiq algebrasidagi arifmetik amallar. Jegalkin ko'phadi. 
Funksional yopiq sinfar. To’la funksiyalar sistemasi. Post teoremasi. 
Aksiomalar sistemasi. Keltirib chiqarishning asosiy qoidalari. Hosilaviy
keltirib chiqarish qoidalari.
Mulohazalar algebrasi va mulohazalar hisobi orasidagi munosabatlar. 
Mulohazalar hisobida yechilish, zidsizlik, to'liqlilik va erkinlik muammolari. 
Predikat tushunchasi. Predikatlar mantiqining formulasi. Predikatlar mantiqi
formulasining qiymati.
Predikatlar mantiqi formulasining normal shakli. Bajariluvchi va umumqiymatli
formulalar. 
Predikatlar mantiqining matematikaga tatbiqi. 
Aksiomatik predikatlar hisobi 
Mulohazalar algebrasining pedagogikaga tatbiqi.
Nazariyada isbotlash tushunchasi. Tavtologiya xususiy hollarining
isbotlanuvchanligi. 
Nazariya tilining interpretatsiyasi. Nazariyaning modeli 
Interpretasiyaning izomorfizmligi. Nazariyaning qat’iyligi, 
Nazariyaning zidsizlik, to‘liqlilik va yechilish muammolari. 

---

8 
Algoritm tushunchasi va uning xarakterli xususiyatlari. Misollar. 
Hisoblanuvchi funksiyalar. Qismiy rekursiv va umumrekursiv funksiyalar. 
Diskret matematikaning texnikaga tatbiqi. Rele-kontaktli sxemalar va ularga
misollar. 
Minimallashtirish masalasining geometrik tarzda qo‘yilishi. Kvayn algoritmi. 
Dizyunktiv normal shaklni soddalashtirish va tupikli DNSh. 
Tupikli dizyunktiv normal shakllami yasash algoritmi va geometrik asosda yasash. 
Tyuring mashinasi.
Markov avtomatlari. 
To’plamlar nazariyasi elementlari. 
Munosabatlar. Binar munosabatlar. 
Mulohazalar va ular ustida amallar. 
Formula tushunchasi va teng kuchli formulalar. 
Asosiy teng kuchliliklar. Teng kuchli formulalarga doir teoremalar.
Formulalarni chinlik jadvali bo’yicha tiklash. 
Formulaning chinlik to'plami. 
Mantiq algebrasidagi arifmetik amallar. Jegalkin ko'phadi. 
Funksional yopiq sinfar. To’la funksiyalar sistemasi. Post teoremasi. 
Aksiomalar sistemasi. Keltirib chiqarishning asosiy qoidalari. Hosilaviy
keltirib chiqarish qoidalari.
Mulohazalar algebrasi va mulohazalar hisobi orasidagi munosabatlar. 
Mulohazalar hisobida yechilish, zidsizlik, to'liqlilik va erkinlik muammolari. 
Predikat tushunchasi. Predikatlar mantiqining formulasi. Predikatlar mantiqi
formulasining qiymati.
Predikatlar mantiqi formulasining normal shakli. Bajariluvchi va umumqiymatli
formulalar. 
Predikatlar mantiqining matematikaga tatbiqi. 
Aksiomatik predikatlar hisobi 
Mulohazalar algebrasining pedagogikaga tatbiqi.
Nazariyada isbotlash tushunchasi. Tavtologiya xususiy hollarining
isbotlanuvchanligi. 
Nazariya tilining interpretatsiyasi. Nazariyaning modeli 
Interpretasiyaning izomorfizmligi. Nazariyaning qat’iyligi, 
Nazariyaning zidsizlik, to‘liqlilik va yechilish muammolari. 
Algoritm tushunchasi va uning xarakterli xususiyatlari. Misollar. 
Hisoblanuvchi funksiyalar. Qismiy rekursiv va umumrekursiv funksiyalar. 
Diskret matematikaning texnikaga tatbiqi. Rele-kontaktli sxemalar va ularga
misollar. 

---

9 
Minimallashtirish masalasining geometrik tarzda qo‘yilishi. Kvayn algoritmi. 
Dizyunktiv normal shaklni soddalashtirish va tupikli DNSh. 
Tupikli dizyunktiv normal shakllami yasash algoritmi va geometrik asosda yasash. 
Tyuring mashinasi.
Markov avtomatlari. 
To’plamlar nazariyasi elementlari. 
Munosabatlar. Binar munosabatlar. 
Mulohazalar va ular ustida amallar. 
Formula tushunchasi va teng kuchli formulalar. 
Asosiy teng kuchliliklar. Teng kuchli formulalarga doir teoremalar.
Formulalarni chinlik jadvali bo’yicha tiklash. 
Formulaning chinlik to'plami. 
Mantiq algebrasidagi arifmetik amallar. Jegalkin ko'phadi. 
Funksional yopiq sinfar. To’la funksiyalar sistemasi. Post teoremasi. 
Aksiomalar sistemasi. Keltirib chiqarishning asosiy qoidalari. Hosilaviy
keltirib chiqarish qoidalari.
Mulohazalar algebrasi va mulohazalar hisobi orasidagi munosabatlar. 
Mulohazalar hisobida yechilish, zidsizlik, to'liqlilik va erkinlik muammolari. 
Predikat tushunchasi. Predikatlar mantiqining formulasi. Predikatlar mantiqi
formulasining qiymati.
Predikatlar mantiqi formulasining normal shakli. Bajariluvchi va umumqiymatli
formulalar. 
Predikatlar mantiqining matematikaga tatbiqi. 
Aksiomatik predikatlar hisobi 
Mulohazalar algebrasining pedagogikaga tatbiqi.
Nazariyada isbotlash tushunchasi. Tavtologiya xususiy hollarining isbotlanuvchanligi. 
Nazariya tilining interpretatsiyasi. Nazariyaning modeli 
Interpretasiyaning izomorfizmligi. Nazariyaning qat’iyligi, 
Nazariyaning zidsizlik, to‘liqlilik va yechilish muammolari. 
Algoritm tushunchasi va uning xarakterli xususiyatlari. Misollar. 
Hisoblanuvchi funksiyalar. Qismiy rekursiv va umumrekursiv funksiyalar. 
Diskret matematikaning texnikaga tatbiqi. Rele-kontaktli sxemalar va ularga
misollar. 
Minimallashtirish masalasining geometrik tarzda qo‘yilishi. Kvayn algoritmi. 
Dizyunktiv normal shaklni soddalashtirish va tupikli DNSh. 
Tupikli dizyunktiv normal shakllami yasash algoritmi va geometrik asosda yasash. 
Tyuring mashinasi. 
Markov avtomatlari. 

---

10 
Kurs ishini baxolashda berilgan mavzu bo’yicha talaba yozma ravishda 
mavzuni to’lik yoritib beradigan ma'lumot taqdim etadi. Amaliy topshiriqlar xam 
beriladi. Ushbu topshiriqlar bo’yicha savol-javob qilinib, yakuniy baxo o’rta 
arifmetik bo’yicha xisoblanadi.