№
|
Ma’ruza mashg’ulotlar mavzulari
|
Audi-toriya soat
|
KI - 3 - semestr, AT servisi 3 –semester, DI - 3 – semester, AX- 4 – semester, TT - 4 - semestr
|
|
Diskret tuzilmalar. Algebraik tuzilmalar, misollar. To’plamlar tushunchasi, to’plamlar elementlari. To’plamga tegishlilik tushunchasi
|
2
|
|
Universal to’plam, bo’sh to’plam, chekli(cheksiz) to’plamlar, xos to’plam, to’plamlarning berilish usullari.
|
2
|
|
Eyler-Beni diagrammalari. To’plamlarni taqqoslash. To’plamlarning tengligi. To’plam quvvati. Teng quvvatli to’plamlar.To’plamlarning xossalari.To’plamlarning birlashmasi, kesishmasi, ayirmasi.
|
2
|
|
Simmetrik ayirma. Sanoqli va kontenyun quvvatli to’plamlar. Asosiy ayniyatlar. To’plamlarga doir asosiy ayniyatlarni taqqoslashga doir misollar.
|
2
|
|
Kordinal son.Sanoqli va kontenyuar to’plamlar. Tartiblangan juftlik tushunchasi. Juftliklar tengligi. Kortej tushunchasi. Kortej uzunligi. To’plamlarning dekart ko’paytmasi. To’plamlarning dekart ko’paytmasining xossalari.
|
2
|
|
Munosabat tushunchasi. Unar munosabatlar. Binar munosabatlar va ularning matritsasi. Munosabatlar ustida amallar.Munosabatlar kompozitsiyasi.
|
2
|
|
Refleksivlik.Simmetriklik.Tranzitivlik.Antisimmetriklik.Ekvivalent munosabatlar tushunchasi
|
2
|
|
Akslantirish tushunchasi va uning turlari. Inyektiv, suryektiv, diyektiv funksiyalar. Funksiyalar kompozitsiyasi. Chekli to’plamdagi elementlar soniga ko’ra akslantirishlar. Dreixli prinsipi.
|
2
|
|
Kombinatorikaning 1-qoidasi. Tartiblangan va tartiblanmagan tanlshlar. Kombinatorika elementlari: O’rinlashtirish, o’rin almashtirish va guruhlashlar soni.
|
2
|
|
Guruhlash qoidalari.Misollar. Nyuton binominal koeffitsiyentlarning xossalari.
|
2
|
|
Takroriy o’rinlashtirish, takroriy o’rin almashtirish va takroriy guruhlashlar. Ularning formulalari
|
2
|
|
Takroriy o’rinlashtirish, takroriy o’rin almashtirish va takroriy guruhlashlarga doir misollar.
|
2
|
|
Bul algebrasi. Mulohaza tushunchasi. Mulohazalar ustida ikkilik amallar. Sodda va murakkab mulohazalar.Mulohaza o’zgaruvchilar. Asosiy mantiqiy bog’liqliklar, konyuksiya dezyunksiya, inkor, implikatsiya, ekvivalentlik amallari.
|
2
|
|
Predikatlar. Predikatlar.Umumiylik va mavjudlilik kvantorlari. Formulalar. Formulalarning tengkuchliligi
|
2
|
|
Mantiq qonunlari. Mantiq funksiyalari uchun rostlik jadvalini tuzish
|
2
|
|
Bull funksiyalari uchun dezyunktiv va konyuktiv normal shakllar(DNSH,KNSH), mukammal dezyunktiv va mukammal konyuktiv normal shakllar(MDNSH,MKNSH)
|
2
|
|
Mantiqiy formulalarni soddalashtirish. Ikkilik mantiqiqy elementlar. Ikkilik mantiqiy elementlarning qo’llanilishi. Mantiqiy sxemalarda analiz vab sintez masalalari.
|
2
|
|
Mantiqiy turlar. Mantiq turlari minimallashtirish usullari. Karno kartalari.
|
2
|
|
Uch, qirra tushunchalari. Grafning ta’rifi. Oddiy graf. Multigarf, Psevdograf. Grafning uchlarining darajasi.
|
2
|
|
Bir jinsli graflar.Grafning qirralar sonin . Ikki bo’lakli graf. Tolerant graflare. Graflar ustida amallar.
|
2
|
|
Grafning analitik usulda berilish usullar. Grafning matritsalar kko’rinishida berilishi.Qo’shnilik va insidentlik matritsalari. Qo’shmilik va insedentlik matritsalariga ko’ra grafni yasash. Dezomorfizm tushunchasi. Graflarning izomorfligi
|
2
|
|
Yo’l, sikl, zanjir. Bog’langanlik tushunchasi. Bog’langanlik kompanentlari. Qirra vazni.
|
2
|
|
Eyler sikli. Eyler grafi. Graflari haqidagi teoremaler. Gamelton sikli. Gamelton grafi.
|
2
|
|
Planar graflar. Tekis graflar haqida Eyler formulasi. Gomeomorfizm. Pontrialligi-Kuratovskiy tushunchasi.komeomorfizm. Pontialligi-Kuratoskiy teoremasi.
|
2
|
|
Graflarni bo’yash. Grafning xromatik soni. To’rt xil rang haqidagiu gepoteza. Kyuoning teoremasi. Grafning xromatik sonini topishning everstik algoritmi.
|
2
|
|
O’rmon. Daraxtlar. Daraxtlarning xossalari. Ostov daraxti. Minimal ostov daraxti. Ildiz daraxti. Daraxtlarni kodlash. Daraxtlarni prufer usulida kodlash. Berilgan kod qurish.
|
2
|
|
Yo’naltirilgan graf. Yo’naltirilgan graf uchun qo’shnilik matritsasi
|
2
|
|
Aralash graf. Yo’naltirilgan grafning yoylari soni.
|
2
|
|
Yo’naltirilgan graflarda marshrut, zanjir, sikl. Orgrafning bog’langanligi. Yo’naltirirlgan grafda Eyler zanjirlari va sikllari, yo’naltirilgan to’la graf. Yo’naltirilgan to’la graf haqidagi teotemalar
|
2
|
|
Qidiruv algoritmlar. Eng qisqa yo’lni topish. Dekstr algoritmi. Ford algoritmi. Floyd algoritmi.
|
2
|
|
|