O`ZBEKISTON RESPUBLIKASI
OLIY VA O`RTA MAXSUS TA’LIM VAZIRLIGI
URGANCH DAVLAT UNIVERSITETI
DISKRET MATEMATIKA VA MATEMATIK MANTIQ
FANINING O’QUV DASTURI
Bilim sohasi:
500 000 – Tabiiy fanlar, matematika va
statistika
Ta’lim sohasi:
540 000 – Matematika va statistika
Ta’lim yo`nalishi:
60540100 – Matеmatika
Urganch-2022
4
Fan/modul kodi
DMMB235
O`quv yili
2022-2023
Semestr
3
ESTC – Kreditlar
5
3-semestr 5
Fan/modul turi
Majburiy
Ta’lim tili
O`zbek/rus
Haftadagi dars soatlari
3-semestr 4
1.
Fanning nomi
Auditoriya
mashg`ulotlari
(soat)
Mustaqil
ta’lim (soat)
Jami yuklama
(soat)
Diskret
matematika
va
matematik mantiq
60
90
150
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.
Fanni o’qitishning vazifalari: ixtisoslik fanlarini o’zlashtirish uchun diskret
matematika va matematik mantiq, kombinatorika va
graflar nazariyasi asosiy
bilimlarini va tamoyillarini qo’llash ko’nikmalarini berish..
“Diskret matematika va matematik mantiq” fani matematik tahlil,
programmalash asoslari, matematik modellashtirish, jarayonlar tatqiqoti, informatika
va boshqa sohalarni o’rganishda, ularning masalalarini yechishda,
ayniqsa turli
jarayonlarning modellarini taxlil qilishda muhim axamiyatga ega.
II. Asosiy nazariy qism (ma’ruza mashg`ulotlari)
Fan tarkibiga quyidagi mavzular kiradi:
1-Mavzu. To’plam, munosabat, funksiya tushunchasi. Ekvivalentlik
munosabati va tartiblangan to’plamlar, ekvivalent sinflar. To‘plamlar va ular
ustida amallar. Munosabatlar. Binar munosabatlar. Maxsus binar munosabatlar.
Ekvivalentlik munosabati. Tartiblangan to’plamlar.
2-Mavzu. Mulohazalar algebrasi. Bul funksiyalari. Ekvivalent formulalar.
Mantiqiy bog‘lovchilar. Formula qism formula.
Formulalarning tengkuchliligi,
Asosiy teng kuchli formulalar.
3-Mavzu. DNF va KNF. Tavtologiyalar. Dizyunktiv va konyunktiv normal
formalar. Ikkilamchi funksiyalar, ikkilamchilik prinspi. Jegalkin ko’phadi.
4-Mavzu. Bul funktsiyalari. Bul algebrasi. Ularning berilish usullari. Bul
funktsiyalari soni. Elementar bul funktsiyalari. Formula tushunchasi. Mukammal
5
dizyunktiv va konyunktiv formalar.
5-Mavzu. To’liq va yopiq funksiyalar sistemalari. Post teoremasi. Muxim
yopiq sinflar.
6-Mavzu.
Mulohazalar hisobi. Mulohazalar hisobining aksiomalari. Keltirib
chiqarish. Isbot va teorema tushunchasi.