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
Download 470.93 Kb. Pdf ko'rish
|
27669 FD Matem DMMM 2022 2023
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. Download 470.93 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling