Algoritimlash Masul shaxslar: Elmurotov R, Xayitmurodov L

DISKRET MATEMATIKA

MASUL SHAXS: SALIMOVA SH, ERGASHEVA SH,

251.

Mantiq algebrasining funksiyalarini minimallashtirish muammosi.( DNShni soddalashtirishning ikki xil yo‘li. Elementar kon’yunksiyani chetlashtirish jarayoni. Ko‘paytuvchini chetlashtirish jarayoni. Tupikli DNSh. Minimal DNShga keltirish)

252.

Diz’yunktiv normal shaklni soddalashtirish. Tupikli diz’yunktiv normal shakl.( DNShni soddalashtirishning ikki xil yo‘li. Elementar kon’yunksiyani chetlashtirish jarayoni. Ko‘paytuvchini chetlashtirish jarayoni. Tupikli DNSh. Minimal DNShga keltirish)

253.

Qisqartirilgan diz’yunktiv normal shaklni aniqlash usullari.( DNShni soddalashtirishning ikki xil yo‘li. Elementar kon’yunksiyani chetlashtirish jarayoni. Ko‘paytuvchini chetlashtirish jarayoni. Tupikli DNSh. Minimal DNShga keltirish)

254.

Mulohazalar algebrasi formulasining dizyunktiv normal shakllari.( Elementar kon’yunksiya va diz’yunksiyalar. KNSh. DNSh. Kon’yunktiv va diz’yunktiv hadlar. To‘g‘ri va to‘liq elementar kon’yunksiya va diz’yunksiyalar.)

255.

Mulohazalar algebrasi formulasining konyunktiv normal shakllari.( Elementar kon’yunksiya va diz’yunksiyalar. KNSh. DNSh. Kon’yunktiv va diz’yunktiv hadlar. To‘g‘ri va to‘liq elementar kon’yunksiya va diz’yunksiyalar.)

256.

Mulohazalar algebrasining n ta o’zgaruvchiga

bog’liq teng kuchlimas formulalar soni.( Formula. Funksiya. Chinlik jadvali. Formulani tiklash, qatorga yoyish. Chinlik jadvali vositasida formulaning MKNShini (MDNShini) topish. nta o‘zgaruvchili formulalar va elementar kon’yunksiyalar soni.)

257.

Mulohazalar hisobi. Keltirib chiqarish qoidalari.( Keltirib chiqarish. O‘rniga qo‘yish, xulosa qoidalari.)

258.

Mulohazalar hisobida isbot tushunchasi.( Aksiomalar sistemasi. Isbotlash)

259.

Mulohazalar hisobida isbotlanuvchi formula ta’rifi. (Aksiomalar sistemasi. Isbotlash)

260.

Mulohazalar hisobining aksiomalari.( Aksiomalar sistemasi. Isbotlash)

261.

Mulohazalar algebrasi formulalarining monotonligi tushunchasi.()

262.

Formulalarning ekvivalentligi. Ekvivalentlik haqidagi teorema.( Teng kuchli va teng kuchlimas formulalar. Teng kuchlilik. Teng kuchlimaslik. Ekvivalentlik. Ekvivalentmaslik.)

263.

Predikat (mantiqiy funksiya) tushunchasi, predmet soha, elementlar formulalari.( Predikat. Predikatlar mantiqi. Bir joyli predikat. Ko‘p joyli predikat.)

264.

Predikatning chinlik to’plami, umumiylik va mavjudlik kvantorlari.( Predikatning chinlik to‘plami. Aynan chin predikat. Aynan yolg‘on predikat.)

265.

Predikatlar formulsining ta’rifi, asosiy teng kuchli formulalar.( Teng kuchli formulalar. Asosiy teng kuchli formulalar.)

266.

Bajaruvchi va umumqiymatli formulalar va ularning xossalari.( Bajariluvchi, umumqiymatli, aynan chin, aynan yolg‘on formulalar. Mantiq qonuni)

267.

Predikatlar mantiqi formulasining normal shakli.( Formulaning deyarli normal va normal shakllari. Formulani normal shaklga keltirish.)

268.

Bul funksiyalarining berilish usullari, ularning soni, ahamiyatli o’zgaruvchilar.( n argumentli funksiyalar soni. Bir rangli superpozitsiya. Bul algebrasi.)

269.

Mulohazalar algebrasi funksiyalarini formulalar ko’rinishida ifodalash.( Mulohaza. Mantiqiy amallar. Formula. Elementar formula)

270.

Mulohazalar algebrasida qo’shma funksiyalar, qo’shmalik prinsipi.( Ikki taraflama funksiya. O‘z-o‘ziga ikki taraflama funksiya. Ikki taraflama qonun.)

271.

Jegalkin algebrasi va uning tadbiqi.(