MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
119
DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA
UNING ASOSLARI. TARIXIY MAʼLUMOTLAR
Zaxriddinova Shahlo Zaxriddin qizi
Matematika va taʼlimda axborot texnologiyasi kafedrasi oʻqituvchisi
Abduxalilova Munisa Kamoliddin qizi
Shahrisabz Davlat Pedagogika instituti Pedagogika fakulteti Matematika va
Informatika yoʻnalishi 2-bosqich talabasi
Annotatsiya: Ushbu maqolada diskret matematika va matematik mantiq
fanlarining tarixiy shakllanishi, rivojlanish bosqichlari hamda zamonaviy fan va
texnologiyalardagi o‘rni yoritib berilgan. Qadimgi yunon falsafasi va musulmon
olimlarining hissasi, XIX–XX asrlardagi asosiy nazariy yutuqlar, shuningdek,
bugungi zamonaviy axborot texnologiyalari bilan bog‘liq qo‘llanilish sohalari tahlil
qilingan. Maqola diskret strukturalar va formal mantiqiy tizimlar haqida umumiy
tushuncha beradi hamda bu fanlarning nazariy asoslarini ochib beradi. Ushbu ish
o‘quvchilar, talabalar va ilmiy izlanish olib borayotganlar uchun foydali manba
bo‘lib xizmat qiladi.
Annotation: This article explores the historical development and
foundations of discrete mathematics and mathematical logic. It highlights the
contributions of ancient Greek philosophy and Muslim scholars, the major theoretical
advancements of the 19th and 20th centuries, and the modern-day applications of
these disciplines in information technology. The article provides an overview of
discrete structures and formal logical systems, offering a comprehensive
understanding of their theoretical basis. This work serves as a valuable resource for
students, researchers, and anyone interested in the theoretical underpinnings of
mathematics and computer science.
Kalit so‘zlar: Diskret matematika, matematik mantiq, mantiqiy tizimlar,
tarixiy rivojlanish, Jorj Bul, Aristotel mantiqi, to‘plamlar nazariyasi, algoritmlar,
MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
120
graf nazariyasi, kombinatorika, axborot texnologiyalari, formallashtirish, isbot
nazariyasi.
Keywords: Discrete mathematics, mathematical logic, logical systems,
historical development, George Boole, Aristotelian logic, set theory, algorithms,
graph theory, combinatorics, information technology, formalization, proof theory.
Kirish:
Diskret matematika va matematik mantiq — zamonaviy axborot
texnologiyalari, dasturlash, sun'iy intellekt, algoritmlar nazariyasi kabi ko‘plab
fanlarning nazariy poydevorini tashkil qiluvchi fanlardir. Bu fanlar bizga murakkab
muammolarni tahlil qilish, formal ifodalash va ularni hal qilish imkonini beradi.
Ularning tarixi qadimiy davrlarga borib taqaladi va zamonaviy ilm-fan taraqqiyotida
muhim o‘rin egallaydi.
Diskret matematika va kompyuter fanlari o‘rtasidagi uzviy bog‘liqlik
Diskret matematika axborot texnologiyalari va kompyuter fanlarining asosiy
nazariy poydevoridir. Masalan:
Dasturlash tillari sintaksisi – mantiqiy ifodalar va grammatik strukturalarga
tayanadi. Ma’lumotlar tuzilmalari (data structures) – to‘plamlar, graf va daraxtlarga
asoslangan.Kriptografiya – sonlar nazariyasi va kombinatorika bilan chambarchas
bog‘liq.
Matematik mantiqdagi kvantorlar tushunchasi:
Kvantorlar – "hamma uchun" (
∀
) va "mavjud" (
∃
) belgilaridan foydalaniladi.
Bu orqali umumiylik yoki mavjudlik bildiruvchi formulalar tuziladi. Misol:
∀
x
∈
A, P(x) — "Har qanday x uchun, agar u A ga tegishli bo‘lsa, P(x)
bajariladi".
Gödelning to‘liqsizlik teoremalari:
Kurt Gödel 1931-yilda isbotlagan ikkita muhim teorema orqali matematik
tizimlarning chegaralarini ko‘rsatdi. Har qanday to‘liq va izchil aksiomatik tizimda,
rost, ammo isbotlab bo‘lmaydigan formulalar mavjud. Tizim o‘zining izchilligini
o‘zida isbotlay olmaydi. Bu mantiqiy fundament, ayniqsa sun’iy intellekt, mashina
o‘rganishi va avtomatik isbotlovchilar sohasida muhim rol o‘ynaydi.
MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
121
Graf nazariyasi amaliyotda
Graf nazariyasi yo‘l topish (routing), ijtimoiy tarmoqlar, internet
infratuzilmasi, telefon tarmoqlari va hatto biologik tahlil (genetik tarmoq
modellari)da qo‘llaniladi.
Masalan: Dijkstra algoritmi – eng qisqa yo‘lni topish
Euler va Hamilton yo‘llari – shaharlarda marshrut rejalash, logistika
tizimlarida
Bool algebrasining zamonaviy texnologiyalardagi roli
Bugungi raqamli qurilmalar, kompyuterlar va elektron sxemalar to‘liq bool
algebra qoidalariga tayanadi. Har bir tranzistor – bu “rost” yoki “yolg‘on” qiymatini
ifodalaydi (ya’ni 1 yoki 0). Har qanday murakkab dasturning mantiqiy sharti bool
algebra asosida tuziladi.
Formallashtirilgan tizimlar va avtomatlashtirilgan isbotlovchilar
Bugungi kunda matematik isbotlarni kompyuter yordamida formal tizimda
yozish va tekshirish mumkin. Bunday tizimlarga: Coq, Isabelle, Lean, HOL Light
kiradi. Ular sun’iy intellekt va kiberxavfsizlikda ishonchli tizimlar yaratishda
qo‘llanilmoqda.
Turing mashinasi va hisoblanish nazariyasi
Alan Turing tomonidan yaratilgan nazariy hisoblash modeli — Turing
mashinasi — zamonaviy kompyuterlarning nazariy modeli hisoblanadi. Bu model
yordamida biror masalaning hisoblanuvchan yoki hisoblanuvmas ekanligini aniqlash
mumkin.
Bu tushuncha diskret matematikadagi eng asosiy savollardan biriga olib
keladi:
> "Barcha masalalarni algoritm orqali yechish mumkinmi?"
Javob: Yo‘q. Ba’zi masalalar hisoblanuvmas — ya’ni ular uchun algoritm
mavjud emas (masalan, Halting problemi).
Kombinatorikada P vs NP muammosi
Kompyuter fanidagi eng mashhur hal qilinmagan masalalardan biri bu:
> P = NP masalasi
MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
122
Bu muammo shuni bildiradi: "Har qanday yechimi tezda tekshiriladigan
masalani, tezda yechish mumkinmi?"
Agar P = NP bo‘lsa, kriptografiya, xavfsizlik, optimallik bo‘yicha ko‘plab
hozirgi asoslar qulab tushadi. Bu masala hal bo‘lmagan va uni hal qilgan odam 1
million dollar mukofot oladi.
Matematik mantiqning sun’iy intellektdagi roli
Sun’iy intellekt (AI) va ekspert tizimlarida mantiqiy mulohazalar asosiy o‘rin
tutadi: IF...THEN qoidalari
Bayes mantiqlari — ehtimollik asosida qarorlar chiqarish
Fuzzy Logic (noaniq mantiq) — real hayotdagi noaniqliklarni model qilish
Masalan: "Agar ob-havo bulutli bo‘lsa va harorat 10°C dan past bo‘lsa, unda
yomg‘ir yog‘ishi ehtimoli bor."
Diskret matematikaga kirish va uning asoslari
Diskret matematika — bu uzluksiz emas, balki alohida, bo‘lakli elementlar
bilan ishlaydigan matematik soha bo‘lib, sonli to‘plamlar, kombinatorika, grafiklar,
mantiqiy strukturalar va algoritmlar bilan shug‘ullanadi. U quyidagi asosiy
yo‘nalishlarni o‘z ichiga oladi:
Mantiqiy ifodalar va ularning manipulyatsiyasi:
To‘plamlar nazariyasi
Graf nazariyasi
Kombinatorika
Algebraik strukturalar (masalan, guruhlar, halqalar, va boshqalar)
Algoritmlar va ularning murakkabligi
Bu soha ayniqsa kompyuter fanlari rivojlanishi bilan yanada muhim ahamiyat
kasb eta boshladi.
Matematik mantiq va uning asoslari
Matematik mantiq — bu formallashgan tilda ifodalanadigan mantiqiy
mulohazalar, ularning tuzilishi va xulosalar chiqarish qoidalari bilan shug‘ullanadi.
Asosiy bo‘limlari:
Propozitsional mantiq (ifoda va ularning rostlik qiymati)
MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
123
Predikatlar mantiqi (kvantorlar va ularning qo‘llanishi)
Formal tizimlar va aksiomatikalar
Isbot nazariyasi
Model nazariyasi
Tarixiy rivojlanish bosqichlari
Qadimgi davr:
Mantiqning ilk tamoyillari qadimgi yunon faylasuflari,
xususan Aristotel (mil. avv. IV asr) tomonidan yaratilgan. U silogizmlar va deductiv
mulohazalarning asoschisi hisoblanadi.
O‘rta asrlar:
O‘rta asrlarda mantiq diniy-falsafiy kontekstda rivojlandi.
Muslim olimlar — Forobiy, Ibn Sino va boshqa allomalar Aristotel mantiqini
o‘rganib, uni rivojlantirdilar.
XVIII–XIX asrlar:
Matematik mantiq alohida fan sifatida rivojlanib chiqdi.
Jorj Bul (George Boole) — bool algebrasi asoschisi bo‘lib, bugungi zamonaviy
raqamli mantiq asoslarini yaratdi.
XX asr:
Kurt Gödel, Alan Turing, Alfred Tarski kabi olimlar mantiqiy
tizimlarning to‘liqligi, isbotlanuvchanligi va hisoblanuvchanligini chuqur tahlil
qildilar. Aynan shu davrda diskret matematika va matematik mantiq kompyuter
fanlari asoslariga aylana boshladi.
Zamonaviy davr:
Bugungi kunda ushbu fanlar kriptografiya, algoritmlar,
sun’iy intellekt, formal verifikatsiya va dasturlash tillarining sintaksis/semantikasi
kabi ko‘plab sohalarda asosiy nazariy platforma hisoblanadi.
Xulosa:
Diskret matematika va matematik mantiq bugungi axborot asrining
eng muhim yo‘nalishlaridan biridir. Ular inson tafakkurining chuqurligi va aniqligini
ifodalaydi, ilm-fan va texnologiyaning poydevori bo‘lib xizmat qiladi. Bu fanlarni
o‘rganish nafaqat ilmiy tadqiqotlar uchun, balki hayotiy muammolarni tahlil qilishda
ham beqiyos ahamiyatga ega.
FOYDALANILGAN ADABIYOTLAR:
1. Grimaldi, R. P. Diskret va kombinator matematika: Amaliy kirish. Pearson
Education, 2003-yil.
MODERN EDUCATION AND DEVELOPMENT
Выпуск журнала №-22
Часть–5_ Март –2025
124
2. Lipschutz, S., & Lipson, M. Diskret matematika bo‘yicha Schaum qo‘llanmasi.
McGraw-Hill, 2007-yil.
3. Rosen, K. H. Diskret matematika va uning qo‘llanmalari. McGraw-Hill, 7-nashr,
2012-yil.
4. Enderton, H. B. Matematik mantiqqa kirish. Academic Press, 2001-yil.
5. Jorj Bul. Fikr qonunlari tahlili, 1854-yil.
6. Alan Tyuring. “Hisoblanuvchi sonlar va hal qilish muammosiga qo‘llanishi”,
London matematik jamiyati ishlanmalari, 1936-yil.
7. Sipser, M. Hisoblash nazariyasiga kirish. Cengage Learning, 2012-yil.
8. Graham, R. L., Knuth, D. E., & Patashnik, O. Aniq matematika: Kompyuter fanlari
uchun asos. Addison-Wesley, 1994-yil.
9. Tarski, A. Mantiq va deduktiv fanlar metodologiyasiga kirish. Oksford universiteti
nashriyoti, 1941-yil.
10. O‘zbekiston Respublikasi Oliy va o‘rta maxsus ta’lim vazirligi. Diskret
matematika o‘quv qo‘llanmasi, Toshkent, 2020-yil.
