Gomeomotfızm. Pontryagin-Kuratovskiy

M19	Planar gıa0ar. Tekis krallar baqida Eyler formulasi. Gomeomotfızm. Pontryagin-Kuratovskiy teoremasi	2
M20	O‘rmon. Daraxtlar. DaraxUaming xossalari. Ostov daraxti. Minimal ostov daraxti. Ildiz daraxt	2
	Yo“naltirilgan graf. Yo’na1tirilgan graf uchun qo’shnilik matritsasi	2
M]2	Yo‘naltirilgan graflarda ınershrtıt, zanjir, sibl. Eng qisqa yo'l topish gl@Oî"İtlTIld£İ	2
Jaml		44

Mashg‘ulotlar shakli: Amaliyot (A)		Soqt
To’pfamlar va ular ustida asaltar. Eyler-Venn diagr8mmalari. To‘plamning quvvatiní topiahga doir masalalar yechish		2
A2	Munosabatlar ustida aınallar. Munosaballar kompozitsiyasi. Binar munosabatlar va ularning matritsalarini topish	2
A3	Munosabatlaming to'rlarini aniqlash. Refleksivlik. Simmetriklik. Tranzitivlik, Antisimmetriklik. Ekvivalent munosabatlami aniqlaahga doir misollar yecîtish	2
Akslantirishlar. Inyektiv, suryektiv, biyektiv funksiyalar. Funksiya turlarini ^aniqlashga^doirmis^ollar^yechish
A5	Kombinatorikaning asosiv qoidalariga doir misollar yechish
A6	Guruhlash, o'rinlashtirish, o“rinalmashtirish formul8larini qo’llab misollar yechish
A7	Takroriy guruhlash, o‘rinlashtirish, o‘rin almashtirish fotmulalarini qo‘l1ab misollar yechish	2
A8	Bul algebrasi. IkkiliL mantiqiy aınallar. Konyuksiya, dizyunksiya, inkor, implikatsi a, ekvivalgntlik amallari	2
A9	^Chinlik^jadvallarini^tuzish.^Chinliki »^dval^lari^orqaii^soddalashtirish	2
A10	Bul funksiyalari uehun dizyunktiv va konyuktiv normal shakllar (DNSH, KNSH). Mukammal dizyurıktiv va mukamınal konyuktiv normal shakllar(MDNSH. MKNSH)	2
All	Mantiq to"rlarini minimallashtirish. Kamo kartalarini tuzish	2
Al2	Mukammal dizyunktiv normal shakldagi bul funksiyaiarini karno kartalari orqali soddalashtirish. lkkilik mantiqiv amallariga mos sxemalar tuzish	2
A13	Graflarni anaiitik usulda berilishiga ko'ra chizish. Oddiy graf. Multi g;raf, psevdo graf. Graf uchlarining darajalari va qirralari sonini topish. Graflar ustida amallar. Graflaming qo’shni1ik va insidentlik matritsalari. Qo‘shni1ik va insidentlik matritsalariga ko‘ra grafni yasash	2
A14	Qo'shnilik va insidentlik matritsalariga ko‘ra graf uchlarining darajalari va qirralari sonini topish	2
A15.	^Grgflarda^yoqtus5unchasi. ^Bog'^langan^va^bog'^lanmagazı^tekis^graflar uchun Eyler formulasi. Yo‘oaltirilgan graf. Yoy tushunchasi. Yo‘naltiriîgan graf uchun qo‘shnilik matritsBsi. Graftami bo*yash	2
Jami		30

	Natural son lar to‘plamiga akslantirish prinsipi. To’plamlar nazariyasining aksiomatazi. TO‘y1am°ing quvvatini topishga dair masatalar yecÎıish		6
MI2	Algsbraik sistemalar tushunchasi va ularga doir misollar yeehisb.		6
MI3	Natural sonlar to'plainíga akslantírish primiPi
	Algebraning ta’rifi va misollar, morfizrnlar, faktor-algebm		10
MI 5	Nyuton binomi. Binomial koeffíetsisntlaming xossalari		6
MI 6	Hosil qiIuvcIt¡ funksiya!ar va ularning kombinatozika masalalsrini yechishga tatbiqi
MI7	O‘rinelmashtirishning hosil qiluvchi fûnksiyasi, guruhlashning hosil q iluvchi funksiyasi		6

MI 8	Gmflarda turg’unlik to‘plami. Grafning ichki va tashqi turg‘unliklari soni
MI 9	Eng katta daraxt haqida, eng qisqa va eng uzun yo’ l haqida, tarmoqli rejalashtirish, kommunikatsiyalar turlari oqimi		6
MI 10	Daraxtlami Prufer usulida kodlash. Daraxtlarni ulaming kodi bo'yicha
MI 11	Kommivoyajer masalasi algoritmlarini o‘rganish, chuqlırlik va bo‘yicha aylanib o‘tuvchi graflar. kommivoyajer masalasini yechish Predikatlar algebrasi, mulohazalar hisobi formulasi tushunchalari	eni		) 0
MI 12				6
MI 13	Mantiqiy bog‘ lovchi lar, qismiy formula, isbotlanuvchi formula, mulohazalar hisobining aksiomalar sistemasi
MI 14	Algoritmik rnodellar. Algoritmning intuitive tushunchasi va uni aniqlash zarurati		6
MI 15	Tyuring mashinalari va ular orqali hisoblanuvchi funksiyalar		10
Ismi				106

Ta’lim strategiyasi

Kurs bo‘yicha o‘sish quyidagicha amalga oshiriladi. Diskret tuzilmalar kursini o‘qitish ta’ li mning kredit tizimi asosida ma’ruza, va amaliy mashg‘ulotlari, taqdimotlar, hamda mavzu bo‘yicha vazifalar va mustaqil topshiriqlami o‘z iehiga oladi. Ma’ruza davomida talaba kurs bo‘yicha zarur bilimlarga ega bo‘ladi. Semestr davomida talaba ikki marta oraliq nazorat topshiradi. Amaliy mashg‘u1otlar davomida o‘qituvchi ma’ruza davomida «'z ashtirilgan nazariy bilimlaming amaliy tatbiqini namoyon qiladi. Har bir amaliy darsning oxirida talaba uyga vazifalarni bajarish uchun shaxsiy topshiriq oladi.

Talabalar quyidagi materiallardan foydalanish imkoniga egadirlar:

• 
  Elektron shakldagi darsliklar va qo‘llanma1ar.
  

» Har bir mavzuga doir prezentasiya slaydlari;

• 
  Elektron shakldagi ma’ruza matnlaıi;
  

» Har bir dars mavzusi yuzasidan topshiriqlar va test mashqlari;

Talabalaming mustaqil ishlashlari uchun mo‘lja11angan ıavzularida berilgan topshiriqlami bajarishda ma’ruza, amaliy mashg‘ulotlari davomida olingan bilimlarini mustahkamlaydilar. Mustaqil ish mavzulari tnlabalaming guruh jumalidagi raqamiga mos mavzuni tanlaydılar. Mustaqil ishda berilgan topshiriqni bajarish mobaynida tnlabalar quyidagi vazifalami quyidagi tartibda bajarishl8ri talab etiladi.
Masalaning qo‘yilishi;

• 
  Masalani yechish usullari; Qo“llanilgan algoritmlaming tahlili; Natijaning tahlili;
  
• 
  Xulosa.
  

Talabalarni baholash

Talabalar bilimini baholash semestr va yakuniy nazorat davomida o‘qitish materiallarini o“zlashtirish ko‘rsatkichi (test, topshiriq va yozma ish natijasi)ga asoslangan.

Diskret tuzilmalar kursi davomida talabaJar 100 ballik tizimda baholanadi. Shundan 50%
ball davomat, joriy va oraliq natijasiga, 50% ball esa yakuniy nazorat natijasiga ajratiladi. Joriy va oraliq ballaming umumiy natijasi 30 balldan past bo‘1gan talabalar yakuniy nazorat imtihoniga kiritilmaydi. Yakuniy nazomtda 30 va undan ko‘p ball to‘p1agan talaba fanni o‘zlashtirgan hisoblanadi.
Kursning nazatiy qismi bo‘yicha baholash semestr davomida oraliq nazorat va mustaqil ishdan iborat, Kursning amaliy qismi bo‘yicha baholash bareha mustaqil topshiriqlaming yig'i1gan bahosidan iborat.