МИ13 Chekli to’plamlar qism to’plamlari sonini aniqlash. Sanoqli to’plam qism
to’plamlari soni
МИ14 Fikrlar(Mulohazalar) algebrasi, asosiy amallar, xossalari, to’liq amallar
sistemasi.
МИ15 Teng kuchli formulalar. Tavtologiya va ziddiyatlar
МИ16 n-o’rinli predikatlar. Ularga misollar
МИ17 Mantiqiy funksiyalar uchun qiymatlar jadvali. Funksiyalar soni.
МИ18 Mukammal diz’yunktiv normal shakl(MDNSh), uni tuzish usuli
МИ19 Mukammal kon’yuktiv normal shakl(MKNSh), uni tuzish usuli
МИ20 Mantiqiy ifodalar uchun |rele-kontakt sxemalari, tuzish usullari.
МИ21 Mantiqiy ifodalar uchun Karno kartalari. Mantiqiy to’rlarda
minimallashtirish
МИ22 Graflar. Asosiy ta’riflar. Berilish usullari. Bog’langan, to’liq graf
tushunchalari.
МИ23 Graflarda marshrutlar, sikllar, marshrut narxi
МИ24 Eyler, Gamilton sikllari va graflari
МИ25 Graflarni bo’yash. Graf xromatik sinfi va xromatik soni. Bixromatik graflar
МИ26 Yo’nalgan graflar matritsalari, yo’l tushunchasi
МИ27 Graf tayanch daraxtini qurishda minimal element mezoni
МИ28 Graflar izomorfligi, misollar bilan
МИ29 Planar graflar. Pontryagin-Kuratovskiy teoremasi
МИ30 Mantiq to’rlarida analiz va sintez masalalari
МИ31 Guruhlash, Joylashtirish va o’rin almashtirish(Misollar bilan)
МИ32 Takrorli o’rin almashtirishlar(Misollar bilan)
МИ33 Takrorlanmaydigan joylashtirishlar(Misollar bilan)
МИ34 To’plamlar quvvatiga ko’ra turlari. Ratsional va haqiqiy sonlar
to’plamlarining quvvati.
МИ35 Chekli to’plamlar yig’indisining quvvatini aniqlash usullari. Ikkita, uchta,
to’rtta to’plam yig’indilari uchun.
