O‘zbekiston respublikasi oliy ta’lim, fan va innovatsiyalar vazirligi fargʻona davlat universiteti

6-mavzu. Keltirilgan formulalar. Mantiqiy amallarning to`liq sistemalari.
Ushbu mavzuda keltirilgan formulalar. Mantiqiy amallar, to`liq sistema tushunchalar o`rganilgan
7-mavzu. Normal formalari. Mukammal dizyunktiv va mukammal konyunktiv normal formalar.
Ushbu mavzuda dizyunktiv normal formalar, konyunktiv normal formalar, mukammal normal formulalar tushunchalar o`rganilgan.
8-mavzu. Mulohazalar algebrasi formulalarining tadbiqlari. Rele-kontakt sxemalari.
Ushbu mavzuda mulohazalar algebrasi tadbiqlari, rele-kontakt sxemlari tushunchalar o`rganilgan.
9-mavzu. Formal aksiomatik nazariya. Mulohazalar hisobi.
Ushbu mavzuda aksiomatik nazariya, aksioma, keltirib chiqarish, isbot, teorema, mulohazalar hisobi o`rganilgan.
10-mavzu. Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.
Ushbu mavzuda L nazariya, L nazariya aksiomalari, deduksiya teoremasi o`rganilgan.
11-mavzu. To`liqlik haqida Gyodel teoremasi. Ziddiyatsizligi.
Ushbu mavzuda nazariya, nazariyaning to`liqligi, zidiyatlilik, ziddiyatsizlik otushunchalar o`rganilgan.
12-mavzu. Elementar Bul funksiyalari. Ularning berilish usulari. Muhim va soxta o`zgaruvchilar.
Ushbu mavzuda bul funksiyalari, elementar bul funksiyalari, jadval usuli, bul funksiyalar soni o`rganilgan
13-mavzu. Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar. Duallik prinsipi.
Ushbu mavzuda Bul funksiyalar sistemasi ustida formula, tushunchasi, funksiyalar realizatsiyasi, teng kuchli formulalar, dual formulalar, duallik prinsipi o`rganilgan.
14-mavzu. Normal formalar. Funksiyani o`zgaruvchilar bo`yicha yoyish.
Ushbu mavzuda Normal formalar, o`zgaruvchilar bo`yicha yoyish teoremasi tushunchalari o`rganilgan
15-mavzu. To`liq sistemalar. Bul funksiyasini Jegalkin ko`pxadiga yoyish.
Ushbu mavzuda to`liq sistemalar, Jegalkin ko`pxadi, Jegalkin teoremasi tushunchalari o`rganilgan