ILM-FAN VA INNOVATSIYA
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/si
126
DISKRET MATEMATIKA VA MATEMATIK MANTIQ
BUXOROVA IRODA TUFLI QIZI
Shahrisabz Davlat Pedagogika instituti
Matematika va Informatika yo’nalishi 2-kurs talabasi
RAHIMOVA HOSILA MUSTAFO QIZI
Shahrisabz Davlat Pedagogika Instituti
Matematika va Informatika yo’nalishi 2-kurs talabasi
ZAXRIDDINOVA SHAXLO ZAXRIDDIN QIZI
Shahrisabz Davlat Pedagogika Instituti, ilmiy rahbar
https://doi.org/10.5281/zenodo.15130397
Annotatsiya:
Ushbu maqolada diskret matematika va matematik mantiqning
shakllanish tarixi yoritiladi. Fan tarixida ko‘pincha G‘arb olimlarining hissasi tilga olinadi,
biroq qadimgi Bobil, Misr, Hindiston, Xitoy va Islom olami mutafakkirlari ham bu yo‘nalishda
muhim ilmiy kashfiyotlar qilgan. Xususan, Al-Xorazmiy, Forobiy, Beruniy va Nasiriddin Tusi
kabi olimlarning algoritmlar, kombinatorika va mantiq sohasidagi ta’siri tahlil qilinadi.
Shuningdek, diskret matematikaning zamonaviy texnologiyalar, sun’iy intellekt va
kriptografiyadagi roli ham ochib beriladi.
Kalit so‘zlar:
diskret matematika, matematik mantiq, algoritmlar, kombinatorika, sun’iy
intellekt, kriptografiya, Al-Xorazmiy, Forobiy, Beruniy, Nasiriddin Tusi
Annotation:
This article highlights the historical development of discrete mathematics
and mathematical logic. While Western scholars are often credited for advancements in these
fields, ancient Babylonian, Egyptian, Indian, Chinese, and Islamic scholars also made
significant contributions. The article examines the impact of figures such as Al-Khwarizmi, Al-
Farabi, Al-Biruni, and Nasir al-Din al-Tusi in the areas of algorithms, combinatorics, and logic.
Additionally, it explores the role of discrete mathematics in modern technologies, artificial
intelligence, and cryptography.
Keywords:
discrete mathematics, mathematical logic, algorithms, combinatorics,
artificial intelligence, cryptography, Al-Khwarizmi, Al-Farabi, Al-Biruni, Nasir al-Din al-Tusi.
Аннотация:
В данной статье освещается история формирования дискретной
математики и математической логики. Хотя в истории науки чаще упоминаются
западные ученые, значительный вклад в эту область внесли мыслители древнего
Вавилона, Египта, Индии, Китая и исламского мира. В статье рассматривается влияние
таких ученых, как Аль-Хорезми, Аль-Фараби, Аль-Бируни и Насир ад-Дин ат-Туси, в
области алгоритмов, комбинаторики и логики. Также анализируется роль дискретной
математики в современных технологиях, искусственном интеллекте и криптографии.
Ключевые слова:
дискретная математика, математическая логика, алгоритмы,
комбинаторика, искусственный интеллект, криптография, Аль-Хорезми, Аль-Фараби,
Аль-Бируни, Насир ад-Дин ат-Туси.
Kirish.
Diskret matematika va matematik mantiq bugungi kunda kompyuter fanlari,
kriptografiya, algoritmlar nazariyasi va sun’iy intellekt kabi ko‘plab yo‘nalishlarning tamal
toshiga aylangan. Ammo ularning tarixi haqida gap ketganda, ko‘pincha G. Boole, G. Frege, B.
Russell kabi olimlarning ismlari tilga olinadi. Aslida esa, bu fanlarning ildizlari chuqurroq
ILM-FAN VA INNOVATSIYA
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/si
127
ketib, Sharq mutafakkirlari va qadimgi sivilizatsiyalarga borib taqaladi. Ushbu maqolada biz
diskret matematika va matematik mantiqning ba’zi unutilgan yoki kam yoritilgan tarixiy
jihatlariga e’tibor qaratamiz.
Bobil va Misr matematikasi: diskret tushunchalar boshi
Ko‘pchilik qadimgi Bobil va Misr matematikasini faqat amaliy geometriya va
arifmetikaga asoslangan deb hisoblaydi. Lekin Bobilliklarning o‘nlik kasrlarni emas, 60-lik
sanoq tizimini qo‘llaganini hisobga olsak, bu tizim diskret matematikaning dastlabki
shakllaridan biri ekanligi ayon bo‘ladi. Misrliklar esa grafik shakllar yordamida mantiqiy
qonuniyatlarni ifodalashgan, bu esa keyinchalik geometriyaning mantiqiy asoslarini
shakllantirishda muhim rol o‘ynagan.
Hindiston va Xitoyda kombinatorika va algoritmlar. Qadimgi Hindiston va Xitoy
matematikasi kombinatorika, ehtimollar nazariyasi va algoritmik yondashuvlarga oid ilk
tushunchalarni o‘z ichiga olgan. Masalan, hind matematiklari sonlarning kombinatorik
xossalarini o‘rganib, hozirgi kombinatorikaning dastlabki qadamlari qo‘yilgan. Xitoyda esa "I
Ching" (O‘zgarishlar kitobi) dagi binar tushunchalar bugungi kunda kompyuter fanlarida
ishlatiladigan ikkilik sanoq tizimiga juda o‘xshash.
Forobiy va Beruniy: Mantiqiy fikrlashning rivojlanishi. O‘rta asrlarda Markaziy Osiyo
olimlari diskret matematikaning rivojlanishiga katta hissa qo‘shgan. Abu Nasr Forobiy
mantiqiy fikrlashni Aristotel mantiqi doirasida rivojlantirgan va uning asarlari keyinchalik
Yevropa ilm-faniga katta ta’sir ko‘rsatgan. Abu Rayhon Beruniy esa o‘zining kombinatorik va
algoritmik yondashuvlari bilan tanilgan. U masalalarni yechish jarayonida algoritmik
fikrlashdan foydalangan.
Matematik Mantiq Asoslari va Uning Unutilgan Tamoyillari. Matematik mantiqning
rivojlanish tarixi odatda G. Boole va G. Frege bilan bog‘lanadi. Lekin bu sohaning qadimgi va
o‘rta asr olimlari tomonidan ham rivojlantirilgani kam tilga olinadi. Quyida kam yoritilgan
ba’zi tamoyillar va nazariyalar haqida so‘z yuritamiz.
Al-Xorazmiy va algoritmik mantiq. Mashhur alloma Muhammad ibn Muso al-Xorazmiy
algoritm tushunchasini ilk bor joriy qilgan olimlardan biri hisoblanadi. Uning algebra va
hisob-kitoblar bo‘yicha ishlari mantiqiy operatorlarning dastlabki formalizatsiyasiga yo‘l
ochgan. Uning ismi ham "algoritm" atamasiga asos bo‘lib xizmat qilgan.
Nasiriddin Tusi va kombinatorika. 13-asrda yashagan buyuk olim Nasiriddin Tusi
kombinatorika va mantiqiy munosabatlarni rivojlantirgan. U murakkab mantiqiy dalillarning
tuzilishini o‘rgangan va ularni soddalashtirish usullarini ishlab chiqqan.
Diskret matematika va matematik mantiqning rivojlanishida faqat G‘arb olimlari emas,
balki Sharq mutafakkirlari ham muhim rol o‘ynagan. Ammo ko‘pincha ularning hissasi
unutilib, ilm-fan tarixi bir tomonlama yoritiladi. Aslida esa, qadimgi Bobil va Misr
matematiklaridan boshlab, Forobiy, Beruniy, Xorazmiy va Tusi kabi olimlar diskret
matematika va matematik mantiq asoslarini shakllantirishda katta hissa qo‘shgan.Bugungi
kunda kompyuter fanlari, sun’iy intellekt va algoritmlar nazariyasi rivojlanayotgan bir paytda,
ushbu buyuk mutafakkirlarning merosi yana bir bor chuqur o‘rganilishi va qadrlanishi lozim.
Diskret matematika va matematik mantiq bugungi zamonaviy texnologiyalarning asosi
bo‘lib, ularning tarixi ko‘pincha Yevropa olimlari bilan bog‘lanadi. Biroq bu fanlarning
rivojlanishiga Sharq va boshqa sivilizatsiyalarning ham katta hissasi bor. Ushbu maqolada biz
ILM-FAN VA INNOVATSIYA
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/si
128
ko‘p yoritilmagan tarixiy faktlarni o‘rganamiz va diskret matematika hamda matematik
mantiqning shakllanishiga ta’sir qilgan unutilgan jihatlarni ochib beramiz.
Bobil Matematikasining Diskret Xususiyatlari: Qadimgi Bobilliklar o‘nlik emas, 60-lik
sanoq tizimini ishlatgan. Bu tizim hozirgi diskret matematikadagi modulli arifmetikaning ilk
shakli sifatida qaralishi mumkin. Masalan, bugungi kunda vaqt hisobida (60 soniya = 1 daqiqa,
60 daqiqa = 1 soat) shu tizimdan foydalanamiz. Bobilliklar kvadrat va kub ildizlarni hisoblash
bo‘yicha ham algoritmik yondashuvlarni ishlab chiqqan.
Xitoy Kombinatorikasi va Ikkilik Matematikasi: Qadimgi Xitoy matematikasi
kombinatorika va ehtimollik nazariyasi bo‘yicha ilk ishlanmalarni o‘z ichiga olgan. "I Ching"
(O‘zgarishlar kitobi) binar (ikkilik) tushunchalarga asoslangan bo‘lib, bu hozirgi raqamli
hisoblash tizimlarining eng qadimgi shakllaridan biri bo‘lishi mumkin. Leibniz 17-asrda
ikkilik sanoq tizimini ishlab chiqqanida aynan xitoyliklarning binar tamoyillaridan
ilhomlanganini aytgan.
Sharq Mutafakkirlari va Ularning Hissasi
Al-Xorazmiy: Muhammad ibn Muso al-Xorazmiy diskret matematikaga fundamental
asoslar qo‘shgan allomalardan biridir. Uning algebra va algoritmlar haqidagi ishlari
kompyuter fanlarining rivojlanishiga bevosita ta’sir qilgan. Masalan, uning "Al-Kitob al-
Muxtasar fi Hisob al-Jabr va al-Muqobala" asari algebraik hisoblash usullari bo‘yicha dastlabki
nazariyani ilgari surgan.
Forobiy: Abu Nasr Forobiy faqat faylasuf emas, balki matematik mantiq sohasida ham
kashfiyotlar qilgan. U Aristotel mantiqiy tizimini rivojlantirib, falsafiy mantiqni aniq
matematik ifodalarga yaqinlashtirishga harakat qilgan.
Beruniy va Kombinatorika: Abu Rayhon Beruniy sonlar nazariyasi va kombinatorika
bo‘yicha ishlari bilan mashhur. U turli kombinatorik masalalarni yechishda ehtimollik va
diskret usullardan foydalangan. Bu esa hozirgi kombinatorika va statistik ehtimollik
nazariyasiga tamal toshi qo‘ygan.
Nasiriddin Tusi va Mantiqiy Tizimlar: Nasiriddin Tusi mantiqiy tizimlarni tahlil qilishda
yangi usullarni ishlab chiqqan. Uning falsafiy mantiq asosida qurgan ishi keyinchalik
matematik mantiq rivojiga ta’sir ko‘rsatgan. U "mantiqiy chizma" tushunchasini ilgari surgan
bo‘lib, bugungi Venn diagrammalarining ilk shakllaridan biri sifatida qaraladi.
Matematik mantiqning qadimiy asoslari: G‘arb olimlari, ayniqsa, G. Frege va B. Russell
matematik mantiqni rivojlantirgan deb qaraladi. Biroq Sharq olimlari ham bu borada o‘z
hissasini qo‘shgan. Masalan: Imom al-G‘azoli o‘zining "Miqyos al-Ulum" kitobida aristotel
mantiqini rivojlantirgan va uni yangi tamoyillar bilan boyitgan. Al-Kindi esa simvolik
mantiqning dastlabki nazariy asoslarini ishlab chiqqan.
Bugungi kompyuter tizimlarida ishlatiladigan Boole mantiqida ("va", "yoki", "emas"
amallari) Sharq olimlarining ta’siri bor. Masalan, Xitoyning "I Ching" binar tizimi va
Forobiyning mantiqiy amallari bu sohaning rivojiga katta hissa qo‘shgan.
Diskret matematika va matematik mantiqning asosiy yo‘nalishlari bugungi kunda
quyidagi sohalarga asos bo‘lib xizmat qiladi:
1. Kompyuter fanlari – Algoritmlar va dasturlash asoslari.
2. Kriptografiya – Ma’lumotlarni kodlash va shifrlash tizimlari.
3. Sun’iy intellekt – Mantiqiy tahlil va qaror qabul qilish algoritmlari.
ILM-FAN VA INNOVATSIYA
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/si
129
4. Tarmoqlar nazariyasi – Internet va kommunikatsiya tizimlari asoslari.
Ko‘pincha diskret matematika va matematik mantiqning tarixi faqat G‘arb olimlari bilan
bog‘lanadi. Lekin uning ildizlari Sharq va boshqa qadimiy sivilizatsiyalarga borib taqaladi.
Bobilliklarning modulli arifmetikasi, Xitoyning ikkilik tizimi, Hindiston va Islom olimlarining
kombinatorika va algoritmlar borasidagi ishlari bu fanlarni shakllantirishda muhim rol
o‘ynagan. Bugungi kunda diskret matematika va matematik mantiqning ahamiyati ortib
borayotgan bir paytda, bu fanlarning haqiqiy tarixini chuqurroq o‘rganish va qadrlash zarur.
Sharq olimlarining hissasi yanada kengroq yoritilishi lozim, chunki ular yaratgan nazariyalar
zamonaviy texnologiyalar rivojiga bevosita ta’sir ko‘rsatgan.
Foydalanilgan adabiyotlar/Используемая литература/References:
1.
Boole, George. An Investigation of the Laws of Thought – Zamonaviy mantiq va diskret
matematikaning rivojlanishiga asos bo‘lgan asar.
2.
Tusi, Nasir al-Din. Tajrīd al-Kalām – Matematik mantiq va falsafiy mantiq bo‘yicha
muhim manba.
3.
Beruni, Abu Rayhan. Kitab al-Tafhim li Awa’il Sina‘at al-Tanjim – Sonlar nazariyasi va
kombinatorika bo‘yicha qadimiy asarlardan biri.
4.
Kleene, Stephen Cole. Introduction to Metamathematics – Matematik mantiqning
zamonaviy nazariy asoslarini tushuntiruvchi klassik kitob.
5.
Graham, Ronald L., Knuth, Donald E., & Patashnik, Oren. Concrete Mathematics: A
Foundation for Computer Science – Diskret matematikaning amaliy jihatlarini yorituvchi
muhim manba.
