O‘zbеkiston rеspublikasi oliy va o‘rta maxsus ta’lim vazirligi namangan davlat univеrsitеti

DISKRET MATEMATIKA VA MATEMATIK MANTIQ
Toʼplamlar va ular ustida amallar. Munosabatlar. Relyatsion algebra. Binar munosabatlarning koʼpaytmasi. Mantiqiy bogʼlovchilar Muloxazalar algebrasi. Chinlilik jadvali. Formula, qism formula. Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy teng kuchliliklari. Keltirilgan formulalar. Mantiqiy amallarning toʼliq sistemalari. Normal formalari. Mukammal dizʼyunktiv va konyunktiv normal formalar. Mulohazalar algebrasi formulalarining tatbiqlari. Rele-kontakt sxemalari. Formal aksiomatik nazariya. Mulohazalar xisobi. Mulohazalar hisobining aksiomalari. Deduktsiya teoremasi. Toʼliqlik xaqida Gyodel teoremasi. Ziddiyatsizligi. Elementar Bul funktsiyalari. Ularning berilish usullari. Muxim va sohta oʼzgaruvchilar. Formula tushunchasi.Ekvivalent formulalar. Dual funktsiyalar. Duallik printsipi. Normal formalar. Funktsiyani oʼzgaruvchilar boʼyicha yoyish. Toʼliq sistemalar. Bul funksiyasini Jegalkin koʼpxadiga yoyish. Muxim yopiq sinflar. Oʼz-oʼziga dual boʼlmagan funktsiya xaqida lemma. Monoton boʼlmagan va chiziqli boʼlmagan funktsiyalar xaqidagi lemmalar. Post teoremasi va uning natijalari. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari. Cheklangan kvantorlar. Mantiqiy kvadrat. Predikatlar algebrasining formulalari. Predikatlar algebrasida formulalarning teng kuchliligi. Formulalarning normal kanonik formalari. Kombinatorikaning asosiy elementlari. Аsosiy kombinatsiyalar. Kiritish chiqarish qoidasi. Rekkurent munosabatlar metodi. Fibonachchi sonlari. Xosil qiluvchi funktsiyalar. Graflar va ularning berilish usullari.Graflarning turlari. Graflarning bogʼliqligi. Marshrut, zanjir, sikl. Graf metrikasi. Eyler va Gamilton graflari. Orientirlangan graflar. Tranzitiv graflar. Graflarning bikomponenalari. Graflarni buyash. Xromatik sonlar. Toʼplamlar va ular ustida amallar. Munosabatlar. Relyatsion algebra. Binar munosabatlarning koʼpaytmasi. Funktsiya. Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan toʼplamlar. Mantiqiy bogʼlovchilar Muloxazalar algebrasi. Chinlilik jadvali. Formula, qism formula. Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy teng kuchliliklari. Keltirilgan formulalar. Mantiqiy amallarning toʼliq sistemalari. Normal formalari. Mukammal dizʼyunktiv va konyunktiv normal formalar. Mulohazalar algebrasi formulalarining tatbiqlari. Rele-kontakt sxemalari. Formal aksiomatik nazariya. Mulohazalar xisobi. Mulohazalar hisobining aksiomalari. Deduktsiya teoremasi. Elementar Bul funktsiyalari. Ularning berilish usullari. Muxim va sohta oʼzgaruvchilar. Formula tushunchasi.Ekvivalent formulalar. Dual funktsiyalar. Duallik printsipi. Normal formalar. Funksiyani oʼzgaruvchilar boʼyicha yoyish. Toʼliq sistemalar. Bul funksiyasini Jegalkin koʼpxadiga yoyish. Post teoremasi va uning natijalari. Predikat tushunchasi. Oʼzgarmas predmetlar va oʼzgaruvchi muloxazalar. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari. Cheklangan kvantorlar. Mantiqiy kvadrat. Predikatlar algebrasining formulalari. Bajariluvchi, rad etiluvchi formulalar. Аynan rost, aynan yolgʼon formulalar. Predikatlar algebrasida formulalarning teng kuchliligi. Birinchi tartibli nazariya. Model. Kombinatorikaning asosiy elementlari. Аsosiy kombinatsiyalar Graflar va ularning berilish usullari.