Tasdiqlayman” “kelishildi” A. Y. Umarov

13- mavzu.Muloxazalar algebrasnga kirish. Muloxaza
tushunchasi. Sodda va murakkab muloxazalar. Asosiy mantikiy
muloxazalar
Bul algebrasi. Muloxaza tushunchasi. Muloxazalar ustida ikkilik mantikiy amallar. Sodda va murakkab muloxazalar. Muloxaza uzgaruvchilari. Asosiy mantikiy boglikliklar. Kon’yunksiya, diz’yunksiya, inkor, implikatsiya, ekvivalentlik amallari
14- mavzu: Predikatlar. Umumiylik va mavjudlik kvantorlari. Formulalar. Formulalarning tent kuchliligi
Predikatlar. Umumiylik va mavjudlik kvantorlari.Bul funksiyalari. Formulalar. Formulalarning teng kuchliligi.
15- mavzu.Mantik konunlari. Mantik funksiyalari uchuy rostlik jadvalini tuzish
Mantik konunlari. Mantik funksiyalari uchun rostlik jadvalini tuzish. Rostlik jadvali buyicha mantik funksiyalarining kurinishini tiklash
16- mavzu. Normal shakllar. Mukammal normal shakllar. Rostlik jadvallari buyicha mantik funksiyalarining kurinishini tiklash Bul funksiyalari uchun diz’yunktiv va kon’yunktiv normal shakllar (DNSh, KNSh). Mukammal diz’yunktiv va mukammal kon’yunktiv normal shakllar (MDNSh, MKNSh)
17- mavzu. Ikkilik mantikiy elementlar. Ikkilik mantikiy elementlarining kullanilishi. Mantikiy sxemalarda analiz va
sintez masalalari
Mantikiy formulalarni soddalashtirish. Ikkilik mantikiy elementlar. Ikkilik mantikiy elementlarining kullanilishi. Mantikiy sxemalarda analiz va sintez masalalari
18- mavzu. Mantikiy turlar.Mantik turlarini minimallashtirish usullari. Karno kartalari
Mantikiy turlar.Mantik turlarini minimallashtirish.Ikkilik mantikiy amallariga mos sxemalar tuzish. Karno kartalari
19- 20-mavzu. Graflar nazariyasining asosiy tushunchalari.
Graflarning ba’zi turlari
Uch, kirra tushunchalari. Grafning ta’rifi. Oddiy graf.
Multigraf. Psevdograf. Tula graf. Graf uchlarining darajasi. Bir jinsli graflar. Grafning kirralari soni. Ikki bulakli graf.
Tolerant graflar. Graflar ustida amallar