16-mavzu. Muhim yopiq sinflar. O`z-o`ziga dual bo`lmagan funksiya haqida lemma. Ushbu mavzuda nolni saqlovchi funksiyalar, birni saqlovchi funksiyalar, o`z-o`ziga dual funksiyalar tushunchalari o`rganilgan.
17-mavzu. Monoton bo`lmagan va chiziqli bo`lmagan funksiyalar haqidagi lemmalar. Post teoremasi va uning natijalari. Ushbu mavzuda monoton funksiyalar, chiziqli funksiyalar, to`liqlik kriteriyasi tushunchalari o`rganilgan.
18-mavzu. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Ushbu mavzuda predikat, ular ustida amallar, misollar, predikatlar algebrasi tushunchalari o`rganilgan.
19-mavzu. Umumiylik va mavjudlik kvantorlari. Cheklangan kvantorlar. Mantiqiy kvadrat. Ushbu mavzuda kvantorlar, umumiylik va mavjudlik tushunchalari o`rganilgan.
20-mavzu. Predikatlar algebrasining formulalari. Ushbu mavzuda bajariluvchi, rad etiluvchi formulalar. Aynan rost, aynan yolg`on formulalar tushunchalari o`rganilgan.
21-mavzu. Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar. Ushbu mavzuda asosiy kombinatsiyalar, kombinatorikaning klassik masalalari, asosiy prinsiplari tushunchalari o`rganilgan.
22-mavzu. Graflar va ularning berilish usullari,Graflarning bog`liqligi. Marshrut, zanjir, sikl. Graf metodikasi. Ushbu mavzuda graf, graf uchlari, graf qirrasi, ilmoq, qo`shnilik matrissasi,insidentlik matissasi tushunchalari o`rganilgan.
23-mavzu. Eyler va Gamilton graflari.Orientirlangan graflar. Tranzitiv graflar. Graflarning biokomponenanalari. Ushbu mavzuda Eyler va Gamilton graflari.Orientirlangan graflar. Tranzitiv graflar. Graflarning biokomponenanalari tushunchalari o`rganilgan.
III. Amaliy mashg`ulotlari bo`yicha ko`rsatma va tavsiyalar. 1. To`plamlar va ular ustida amallar.
2. Munosabatlar. Relyatsion algebra. Binar munosabatlarning ko`paytmasi. Funksiya.
3. Maxsus binar munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to`plamlar.
4. Mantiqiy bog`lovchilar Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula.
5. Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy teng kuchliklari.
6. Keltirilgan formulalar. Mantiqiy amallarning to`liq sistemalari.
7. Normal formalari. Mukammal dizyunktiv va mukammal konyunktiv normal formalar.
8. Mulohazalar algebrasi formulalarining tadbiqlari. Rele-kontakt sxemalari.
9. Formal aksiomatik nazariya. Mulohazalar hisobi.
10. Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.
11. To`liqlik haqida Gyodel teoremasi. Ziddiyatsizligi.
12. Elementar Bul funksiyalari. Ularning berilish usulari. Muhim va soxta o`zgaruvchilar.
13. Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar. Duallik prinsipi.
14. Normal formalar. Funksiyani o`zgaruvchilar bo`yicha yoyish.
15. To`liq sistemalar. Bul funksiyasini Jegalkin ko`pxadiga yoyish.
16. Muhim yopiq sinflar. O`z-o`ziga dual bo`lmagan funksiya haqida lemma.
17. Monoton bo`lmagan va chiziqli bo`lmagan funksiyalar haqidagi lemmalar. Post teoremasi va uning natijalari.
18. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar.
19. Umumiylik va mavjudlik kvantorlari. Cheklangan kvantorlar. Mantiqiy kvadrat.
20. Kombinatorikaning asosiy elementlari. Asosiy kombinatsiyalar.
21. Graflarning bog`liqligi. Marshrut, zanjir, sikl. Graf metodikasi. Eyler va Gamilton graflari.
22. Orientirlangan graflar. Tranzitiv graflar. Graflarning biokomponenanalari.
