Matematika fakulteti funksional analiz, algebra va geometriya

BERDAQ NOMIDAGI QORAQALPOQ DAVLAT UNIVERSITETI

MATEMATIKA FAKULTETI

Funksional analiz, algebra va geometriya

“Diskret matematika va matematik mantiq” fanidan

“Mulohazalar hisobi formulalari”

mavzusida

KURS ISHI
Bajaruvchi: Matematika ta’lim yo’nalishi 2^A1 guruh talabasi

Saidahmadova Shahlobonu
Qabul qiluvchi: Juzboyev Netbay
NUKUS 2021

Mavzu: Mulohazalar hisobi formulalari.
REJA:
I.KIRISH.

II. ASOSIY QISIM.

1) Mulohazalar hisobi formular.

2) Mulohazalar hisobi aksiomatik sisterma.

3). Mulohazalar hisobida yechilish, zidsizlik, toliqlik va erkinlik muammolari

III.XULOSA.

IV. FOYDALANILGAN ADABIYOTLAR.

KIRISH

Dastlab faqat matematik mantiq, algebra, matematik analiz,

matematika asoslari, ehtimollar nazariyasi, geometriya, topologiya, sonlar

nazariyasi, modellar nazariyasi kabi matematik fanlarda tatbiq etib

kelingan diskret matematika XX asming 40- yillaridan boshlab hisoblash

matematikasi, kibrmetika, axborot texnologiyalari, iqtisodiyot,

psixologiya, matematik lingvistika, tibbiyot fanlari va diskret texnikada

ham keng qo‘llanilmoqda. Diskret matematika elektr sxemalami

loyihalashda va tekshirishda, avtomatik hisoblash mushinalarini loyihalash

va dasturlashtirishda, diskret avtomatlarni mantiqiy loyihalashda, EHM

elementlari va qismlarini loyihalashda, har xil texnik sistemalar, qurilmalar va avtomatik mashinalami tahlil va sintez qilishda keng miqyosda tatbiq

etiladi. Matematik mantiq fani elektron hisoblash mashinalarining vujudga

kelishiga va uni mukammalashtirishga katta hissa qo‘shdi. Diskret

matematika informatikaning poydevori bo‘lishi bilan birga, hozirgi zamon

matematik ta’limning muhim bo‘g‘ini ham hisoblanadi.

Ushbu kurs ishimda ham matematika ta’limning muhim mavzularidan bo’lgan diskret matematika va mantiq fanidagi mulohazalar hisobi formulalari, birinchi kategoriya simvlollari, ikkinchi kategoriya simvollari, mulohazalar hisobi qismiy formulasi va boshqa ko’plab tushunchalar bilan yashiroq tanishishinggiz mumkin. Mulohazalar hisob formulalari mavzusi diskret matematikada muhim o’rin egallaydi.