DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING ASOSLARI. TARIXIY MA'LUMOTLAR

Аннотация

Ushbu maqolada diskret matematika va matematik mantiq fanlarining tarixi, ularning shakllanishi va rivojlanish bosqichlari tahlil qilinadi. Diskret matematika – zamonaviy axborot texnologiyalari, dasturlash va hisoblash tizimlarining nazariy asoslarini ta’minlovchi muhim yo‘nalishlardan biri bo‘lib, uning ildizlari qadimgi davrlarga borib taqaladi. Matematik mantiq esa Aristotelning formal mantiq asoslarini yaratishidan boshlab, Jorj Bulning mantiqiy algebra tizimi va Alan Tyuringning hisoblash nazariyasigacha bo‘lgan davrda rivojlangan. Maqolada ushbu fanlarning asosiy tushunchalari – to‘plamlar nazariyasi, algoritmlar, graflar nazariyasi, kombinatorika va kodlash nazariyalari haqida qisqacha ma’lumot beriladi. Shuningdek, ularning zamonaviy dasturiy ta’minot va sun’iy intellekt sohalaridagi amaliy qo‘llanilishi ko‘rib chiqiladi.Tadqiqot natijalari diskret matematika va matematik mantiqning ilmiy va texnologik ahamiyatini chuqur anglashga xizmat qiladi. Shuningdek, ushbu fanlarni yanada rivojlantirish, ta’lim tizimida ularning o‘rnini mustahkamlash va amaliy jihatlarini kengaytirish bo‘yicha tavsiyalar beriladi. Maqola matematika, kompyuter fanlari va axborot texnologiyalari bilan shug‘ullanuvchi tadqiqotchilar, talaba va mutaxassislar uchun foydali bo‘lishi mumkin. Kalit so'zlar: Diskret matematika, matematik mantiq, tarixiy ma'lumotlar, to‘plamlar nazariyasi, algoritmlar, graflar nazariyasi, kombinatorika, mantiqiy algebra, hisoblash nazariyasi, axborot texnologiyalari. Kirish: Diskret matematika va matematik mantiq fanlari zamonaviy axborot texnologiyalari, dasturlash, sun’iy intellekt hamda kriptografiya sohalarining nazariy asosi hisoblanadi. Ushbu fanlarning tarixi uzoq asrlarga borib taqalib, ularning rivojlanishi matematikaning umumiy taraqqiyoti bilan chambarchas bog‘liqdir.Matematik mantiqning dastlabki shakllari qadimgi yunon faylasuflari, xususan, Aristotel tomonidan ishlab chiqilgan bo‘lib, u deduktiv fikrlash va silogistikani shakllantirgan. Keyinchalik, o‘rta asr olimlari va yangi davr matematiklari bu sohani yanada rivojlantirib, uni aniq qoidalar asosida ifodalashga harakat qilishdi. XIX asr oxiri va XX asr boshlarida Jorj Bul, Gottlob Frege, Devid Gilbert kabi matematiklar mantiqiy hisoblash tizimlarini yaratib, zamonaviy matematik mantiq va diskret matematikaga asos soldi.Diskret matematika esa ko‘p jihatdan kombinatorika, graf nazariyasi va algebraik strukturalarga asoslanib, informatsion texnologiyalar rivojida muhim rol o‘ynaydi. Ushbu maqolada mazkur fanlarning tarixi, ularning shakllanishi va rivojlanish bosqichlari haqida so‘z yuritiladi. Asosiy qism: Diskret matematika va matematik mantiqning rivojlanishi.Diskret matematika va matematik mantiq fanlari inson tafakkurining rivojlanishi jarayonida muhim ahamiyat kasb etib kelgan. Ularning tarixi qadimgi davrlardan boshlanib, zamonaviy ilm-fan taraqqiyoti bilan yanada rivojlangan. Diskret matematikaning asosi bo‘lgan kombinatorika, 93 YOSH OLIMLAR ILMIY-AMALIY KONFERENSIYASI in-academy.uz/index.php/yo grafiklar nazariyasi, algoritmlar nazariyasi va boshqa yo‘nalishlar dastlab qadimgi yunon matematiklari, xususan, Evklid va Pifagor ta’limotlarida ko‘rinish bergan.Matematik mantiq esa Aristotel tomonidan yaratilgan klassik mantiq asosida shakllangan. Aristotel oʻzining silogistikasi bilan mantiqiy mulohazalarning asoslarini belgilab berdi. Keyinchalik o‘rta asrlarda musulmon olimlari, jumladan, Al-Farobiy va Ibn Sino ushbu fanlarning rivojlanishiga katta hissa qo‘shdilar. Diskret matematikaning asosiy yo‘nalishlari 1. Kombinatorika – elementlarning tartibini va joylashuvini o‘rganadi. U dastlab yevropalik olimlar tomonidan XVI-XVII asrlarda rivojlantirildi va keyinchalik, XX asrda algoritmik yondashuvlar bilan boyitildi. 2. Graf nazariyasi – shaharlarning yo‘llari, tarmoqlar va aloqa tizimlarini modellashtirishda qo‘llaniladi. Leonard Eyler tomonidan XVIII asrda asos solingan. 3. Algebraik strukturali nazariyalar – mantiqiy elementlar algebrasini, xususan, Buul algebrasini o‘rganadi. Bu soha Jorj Bul tomonidan XIX asrda ishlab chiqilgan. 4. Algoritmlar nazariyasi – hisoblash usullari va algoritmik jarayonlarni tahlil qiladi. Al- Xorazmiy tomonidan IX asrda asos solingan va Alan Turing tomonidan XX asrda yanada rivojlantirilgan. Matematik mantiq fani XIX asrga kelib jadal rivojlandi. Jorj Bul tomonidan mantiqiy algebra yaratildi, keyinchalik Frege, Peano va Rassel kabi matematiklar ushbu sohaga muhim hissa qo‘shdilar. Matematik mantiq informatsion texnologiyalar va dasturlash sohalari bilan bog‘liq holda, hozirgi kunda kompyuter fanlarining muhim tarkibiy qismi hisoblanadi.Bugungi kunda diskret matematika va matematik mantiq sun’iy intellekt, shifrlash texnologiyalari, dasturlash tillari va ma’lumotlar tuzilmalari kabi ko‘plab zamonaviy sohalarda keng qo‘llanilmoqda. Shunday qilib, ushbu fanlar nafaqat nazariy asos, balki amaliy jihatdan ham katta ahamiyat kasb etmoqda.Diskret matematika va matematik mantiqning tarixi va uning nazariy as