Modul / fan sillabusi matematika fakulteti

MODUL / FAN SILLABUSI Matematika fakulteti 5110100 – Matematika va informatika taʼlim yo‘nalishi

“Tasdiqlayman” SamDU oʻquv ishlari boʻyicha prorektori: __________ A.S.Soleev “__”_______2021 yil M.Oʻ.

Fan nomi:	Diskret matematika
Fan turi:	Majburiy
Fan kodi:	dTM3005
Yil:	1
Semestr:	3
Taʼlim shakli:	Kunduzgi
Mashg‘ulotlar shakli va semestrga ajratilgan soatlar:	150
Maʼruza	30
Amaliy mashg‘ulotlar	30
Laboratoriya mashg‘ulotlari	-
Seminar	-
Mustaqil taʼlim	90
Kredit miqdori:	5
Baholash shakli:	Imtihon
Fan tili:	o‘zbek

1.

I. Fanning mazmuni Fanni oʻqitishdan maqsad - Talabalarda Diskret matematikaning asosiy tushunchalari, tasdiqlari va ularning isboti, uslublari, amaliy masalalarni yechishga tadbiqlari to‘g‘risida tushunchalar hosil qilish, hamda ularda fanning asosiy masalalarini hal qilish bo‘yicha ko‘nikmalarni shakllantirish. Fanning vazifasi - Diskret matematikaning asosiy tushunchalari va tadqiqot metodlarini o’rgatishdan iborat. II. Asosiy nazariy qism (maʼruza mashgʻulotlari) II.I. Fan tarkibiga quyidagi mavzular kiradi: 1-mavzu. “Mulohazalar ustida mantiqiy amallar.Mulohazalar mantig’ining formulalari. Teng kuchli formulalar. Chinlik jadvali 2-mavzu. Bul funksiyasi tarifi berilish usullari va ularning miqdori.Funksiyalarning ikkiyoqlamaligi. 3-mavzu. Bul funksiyasini o’zgarishlar bo’yicha yoyilmasi. Jegalkin ko’phadi 4-mavzu.. Formulalarning normal konyunktiv va dizyunktiv shakllari. Formulalarning aynan rostligi va yolg’onligi kreteriyasi 5-mavzu.. Formulalarning takomil normal konyuktiv shakli va takomil normal dizyunktiv shakli. 6-mavzu. Matematik mantiqning texnikaga tadbig’i. Rele kantakt sxemalari. Mantiqiy masalalari 7-mavzu.. Mulohazalar hisobi formulasi tushunchasi.Chiqaruvchi formula ta’rifi. Mulohazalar hisobining aksiomalar sistemasi 8-mavzu.. Keltirib chiqarish qoidalari. Hosilaviy keltirib chiqarish qoidalari 9-mavzu.. Formulalar majmuasidan formulani keltirib chiqarish qoidasi. Keltirib chiqarish tushunchasi 10-mavzu.. Deduksiya teoremasi. Umumlashgan deduksiya teoremasi 11-mavzu. Mulohazalar algebrasi va mulohazalar hisobi o’rtasidagi munosabatlar.Mulohazalar hisobida yechish, zidsizlik, to’liqlilik va erkinlik muommolari 12-mavzu. Predikat. Peridikatlar ustida mantiqiy amallar.Kvantor va ularning xossalari 13-mavzu. Predikatlar mantiqiy formulalari. Predikatlar mantiqi formulasining normal shakli. Bajariluvchi va umumqiymatli formulalar 14-mavzu. Matematik nazariyalar. Terminlar va formulalar. Tillar va Modellar Algoritm tushinchasi va ularning asosiy xususiyatlari 15-mavzu. Yechiluvchi va sanaluvchi to’plamlar. Hisoblanuvchi funksiyalar. Rekursiv va qismiy rekursiv funksiyalar