Kurs mazmuni (I semestr)
Mashg‘ulotlar shakli: ma'ruza (M)
|
|
To’plamlar va ular ustida amallar.Munosabatlar. Relyatsion algebra. Binar munosabatlarning ko’paytmasi. Funksiya.Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to’plamlar.
|
|
Mantiqiy bog’lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula,qism formula.Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy tengkuchliklari.Normal formalari. Formulalarning normal shakllari.
|
|
Mukammal dizyunktiv va konyunktiv normal formalar.Mulohazalar algebrasi formulalarining tatbiqlari. Rele-kontakt sxemalari.Formal aksiomatik nazariya. Mulohazalar hisobi.
|
|
Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.To’liqlik haqida. Gyodel teoremasi. Ziddiyatsizligi.Elementar Bul funksiyalari. Ularning berilish usullari. Muhim va sohta o’zgaruvchilar.
|
|
Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar. Duallik prinsipi.Normal formalar. Funksiyani o’zgaruvchilar bo’yicha yoyish.To’liq sistemalar. Bul funksiyasini Jegalkin ko’phadiga yoyish.
|
Mashg‘ulotlar shakli: Amaliy mashg‘ulot (A)
|
1-modul
|
A1
|
To’plamlar va ular ustida amallar.Munosabatlar. Relyatsion algebra.Binar munosabatlarning ko’paytmasi. Funksiya.
|
A 2
|
Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to’plamlar.Mantiqiy bog’lovchilar. Mulohazalar algebrasi. Chinlik jadvali. Formula,qism formula.Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy tengkuchliklari.
|
|
|
