O‘zbekiston respublikasi oliy ta’lim, fan va innovatsiyalar vazirligi fargʻona davlat universiteti

O‘ZBEKISTON RESPUBLIKASI
OLIY TA’LIM, FAN VA INNOVATSIYALAR VAZIRLIGI

FARGʻONA DAVLAT UNIVERSITETI

“TASDIQLANDI” O’quv ishlari bo’yicha prorektor _______ R.M.Shukurov “___” _________2023 yil

DISKRET MATATEMATIKA VA MATEMATIK MANTIQ
FAN DASTURI

Bilim sohasi:	500000	–	Tabiiy fanlar, matematika statistika
Ta’lim sohasi:	540000	–	Matematika va statistika
Ta’lim yo‘nalishi:	60610200	–	Axborot tizimlari va texnologiyalari

Farg’ona – 2023

Fan/modul kodi DMMM107		O‘quv yili 2023-2024	Semestr 1,2		ECTS - Kreditlar 7
Fan/modul turi Majburiy		Ta’lim tili O‘zbek/rus		Haftadagi dars soatlari 4
1.	Fanning nomi		Auditoriya mashg‘ulotlari (soat)		Mustaqil ta’lim (soat)	Jami yuklama (soat)
	Diskret matematika va matematik mantiq		90		90	180
2.	I. Fanning mazmuni Fanni o`qitishdan maqsad-diskret matematika va matematik mantiqning asosiy bilimlari, tushunchalari, tasdiqlari va ularning isboti, amaliy masalalarni yechish usullari, informatika va dasturlashning nazariy asoslari haqidagi bilimlar, ixtisoslikni o`zlashtirishga zaruriy tayanch bilimlar amaliy masalalarni yuqori sifat va aniqlikda yechishning zamonaviy matematik usullari bilan talabalarni tanishtirish. Fan vazifalari- “Diskret matematika va matematik mantiq” fani barcha matematik ta’lim fanlari uchun asos bo‘lib xizmat qiladi. Ixtisoslik fanlarni o`zlashtirish uchun diskret matematika va matematik mantiq, kombinatorika va graflar nazariyasi asosiy bilimlarini va tamoyillarini qo`llash ko`nikmalarini berish. II. Asosiy nazariy qism (ma’ruza mashg‘ulotlari). II.I. Fan tarkibiga quyidagi mavzular kiradi: I modul. Muloxazalar va ular ustida ammallar 1-mavzu. To`plamlar va ular ustida amallar. Ushbu mavzuda to`plamlar, birlashma, kesishma, universal to`plam, tartiblangan juftlik, dekart ko`paytma tushunchalar o`rganilgan 2-mavzu. Munosabatlar. Relyatsion algebra. Binar munosabatlarning ko`paytmasi. Funksiya. Ushbu mavzuda munosabat, inary munosabat, munosabatlar ustida amallar, relyatsion algebra tushunchalar o`rganilgan 3-mavzu. Maxsus inary munosabatlar. Ekvivalentlik munosabati. Qisman tartiblangan to`plamlar. Ushbu mavzuda refleksivlik, simmetriklik, tranzitivlik, ekvivalentlik, qisman tartib, panjara tushunchalar o`rganilgan. 4-mavzu. Mantiqiy bog`lovchilar Mulohazalar algebrasi. Chinlik jadvali. Formula, qism formula. Ushbu mavzuda mulohaza, mantiqiy amallar, formula, qism formula, Chinlilik jadvali o`rganilgan 5-mavzu. Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy teng kuchliklari. Ushbu mavzuda teng kuchlilik, teng kuchli almashtirishlar, tavtologiya tushunchalar o`rganilgan.