2-modul
A 3
|
Keltirilgan formulalar. Mantiqiy amallarning to’liq sistemalari.Normal formalari. Mukammal dizyunktiv va konyunktiv normal formalar.Mulohazalar algebrasi formulalarining tatbiqlari. Rele-kontakt sxemalari.
|
A 4
|
Formal aksiomatik nazariya. Mulohazalar hisobi.Mulohazalar hisobining aksiomalari. Deduksiya teoremasi.Elementar Bul funksiyalari. Ularning berilish usullari. Muhim va sohta o’zgaruvchilar.
|
|
3 - modul
|
A 5
|
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: Mustaqil ta’lim uchun tavsiya etiladigan mavzular (MT)
|
1-semestr
|
MT 1
|
Qisman tartiblangan to’plamlar
|
MT 2
|
Tupik normal formalar.
|
MT 3
|
Minimallashtirish muammosi.
|
MT 4
|
Boshqa aksiomatik nazariyalar.
|
|
