Diskret matematika va matematik mantiq
Download 250 Kb.
|
Dishret matematika Fan dastur 2023
V.Mustaqil ta’lim va mustaqil ishlar Mustaqil ta’lim uchun tavsiya etiladigan mavzular: 1. Muloxaza tushunchasi. Rostlik jadvallari. 2.Dizyunktiv va Konyunktiv normal formalar. 3.Mukammal dizyunktiv va konyunktiv normal formalar. 4.Mulohazalar hisobi. 5.Mulohazalar hisobida isbotlashlar. 6.To‘plamlar ustida amallar. 7.Dekart ko‘paytma. Munosabatlar va funksiyalar. 8.Munosabatlar va funksiyalar 9.Binar munosabati turlari. Ekvivalentlik munosabati. 10.Ekvivalentlik munosabati 11.Qisman tartiblangan to‘plamlar. 12.To‘plam buleani. Bul algebrasi. Bul algebrasi filtri 13.Bul algebrasi masalalari 14.Algebraik sistemalar. 15.Predikatlar va ular ustida amallar. Umumiylik va mavjudlik kvantorlari. 16.Umumiylik va mavjudlik kvantorlari haqida 17.Interpretatsiya va model tushunchalari. 18.Algebraik sistemada formulaning bajarilishi. Bajariluvchi formulalar. 19.Bajariluvchi formulalar. 20.Predikatlar algebrasidagi mantiqiy qonunlar. 21.Kompaktlik teoremasi 22.Predikatlar xisobining aksiomalari sistemasi. Birinchi tartibli nazariya. 23.Birinchi tartibli nazariya. 24.Predikatlar hisobida isbotlashlar. 25.Mulohazalar algebrasinig formulalari 26.Post teoremasi natijalari 27.Birinchi tartibli til.Mantiqiy aksiomalar. Xos aksiomalar Teorema 28.Keltirib chiqarish qoidalari Isbotlash tushinchasi 29.Chinlik jadvali 30.Pirs strelkalari 31.Sheffer shtrixi 32.Tavtalogiya haqida teoremalar 33.Tavtalogiya Formulalarining ekvivolentligi 34.Teng kuchli formulalar Keltirilgan formulalar 35.Asosiy teng kuchli formulalar yordamida misollar 36.Dezyungtiv va konyuntiv normal formulalar 37.Mukammal Dezyungtiv va konyuntiv normal formulalar 38.To’plamlarning dekart kupaytmalari 39.Predikatlar algebrasidayechilish muammolari 40.Mulohazalar mantiqi 41.Mulohazalar mantiqining tatbiqlari 42.Mulohazalar algebrasi formulalarning normal formalari 43.Mulohazalar algebrasi formulalarning normal formalari 44.Duallik prinsiplari 45.Predikatlar algebrasining formulalarini tatbiqi 46.Birinchi tartibli til. Xos aksiomalar. Keltirib chiqarish qoidalari. Isbotlash tushunchasi. Teorema. 47. Nazariya tilining interpretatsiyasi. Nazariyaning modeli. Izomorfizm 48.Birinchi tartibli nazariyada echilish, ziddiyatsizlik va to‘liqlik muammolari. 49.Formulalarning normal formalari. 50.Aynan yolg‘on formulalar. Bajariluvchi yoki rad etiluvchi formulalar. Mustaqil o‘zlashtiriladigan mavzular bo‘yicha talabalar tomonidan referatlar tayyorlash va uni taqdimot qilish tavsiya etiladi.
| Download 250 Kb. Do'stlaringiz bilan baham: 
|