YOSH OLIMLAR
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/yo
134
DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING
ASOSLARI
Zahiriddinova Shahlo Zahiriddin qizi
Matematika va taʼlimda axborot texnologiyasi kafedrasi oʻqituvchisi. Ilmiy rahbar
Bozarova Gulira’no Sadriddin qizi
Shahrisabz Davlat pedagogika instituti
matematika va informatika yoʻnalishi 2- bosqich talabasi
https://doi.org/10.5281/zenodo.15208819
Annotatsiya:
Mazkur maqolada diskret matematika va matematik mantiq fanlarining
shakllanish tarixi, rivojlanish bosqichlari hamda ularning zamonaviy ilm-fan va
texnologiyadagi o‘rni tahlil qilinadi. Diskret matematikaga oid asosiy tushunchalar – to‘plamlar
nazariyasi, mantiqiy operatsiyalar, kombinatorika, graf nazariyasi va algoritmlar nazariyasi
ko‘rib chiqiladi. Shuningdek, matematik mantiqning aristotel davridan boshlab XX asrdagi
mantiqiy tizimlar rivojiga qadar bo‘lgan jarayonlari tahlil qilinadi. Maqolada bu fanlarning
asoschilari, ularning ilmiy merosi, hamda bugungi kunda informatsion texnologiyalar, sun’iy
intellekt va dasturlash sohalaridagi qo‘llanilishi yoritiladi. Tadqiqot natijalari ushbu fanlarning
nazariy asoslarini chuqurroq anglash va ularni amaliyotda qo‘llash imkoniyatlarini
kengaytirishga xizmat qiladi.
Kalit soʻzlar:
Diskret matematika,matematik mantiq,to‘plamlar nazariyasi,mantiqiy
operatsiyalar, kombinatorika, graf nazariyasi, algoritmlar nazariyasi, mantiq tarixi, formal
mantiq, sun’iy intellekt, informatika asoslari, matematik strukturalar, raqamli tizimlar, tizimli
fikrlash, mantiqiy xulosalar.
Аннотация:
В данной статье анализируется история становления, этапы развития
дисциплин дискретной математики и математической логики, их роль в современной
науке и технике. Рассмотрены основные понятия дискретной математики – теория
множеств, логические операции, комбинаторика, теория графов и теория алгоритмов.
Также анализируются процессы математической логики со времен Аристотеля до
развития логических систем в XX веке. В статье освещаются основоположники этих наук,
их научное наследие, а также их применение сегодня в области информационных
технологий,
искусственного
интеллекта
и
программирования.
Результаты
исследований служат для более глубокого понимания теоретических основ этих наук и
расширения возможностей их применения на практике.
Ключевые слова:
Дискретная математика,математическая логика, теория
множеств, логические операции, комбинаторика, теория графов, теория алгоритмов,
история логики, формальная логика, искусственный интеллект,основы информатики,
математические структуры, числовые системы, системное мышление, логические
выводы.
Diskret matematika — raqamli (diskret) tuzilmalarni o‘rganuvchi matematik fan bo‘lib, u
uzluksiz emas, balki bo‘linuvchi, ajralgan obyektlar bilan ishlaydi. Bu fan qadim zamonlardan
boshlab mavjud bo‘lib, kombinatorika va sonlar nazariyasining ilk ko‘rinishlari qadimgi
Hindiston, Xitoy va Yunoniston madaniyatlarida uchraydi. Ammo zamonaviy diskret
matematikaga asos bo‘lgan g‘oyalar asosan XIX–XX asrlarda shakllangan. Ayniqsa, informatsion
texnologiyalar rivojlangach, diskret matematikaning ahamiyati sezilarli darajada
YOSH OLIMLAR
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/yo
135
oshdi.Matematik mantiq, ya’ni formal mantiqning matematik asosda ifodalanishi qadimgi
yunon faylasufi Aristotelgacha borib taqaladi. Aristotel tomonidan ishlab chiqilgan sillogistik
mantiq o‘z vaqtida katta yutuq bo‘ldi. Keyinchalik, XVII–XIX asrlarda R. Dekart, G. Leybnits, va
Jorj Bul kabi olimlar matematik mantiqqa yangicha yondashuvlar kiritdi. Ayniqsa, Bul mantiqiy
algebra asoschisi sifatida tanilgan bo‘lib, uning ishlari zamonaviy raqamli texnologiyalar
asosini tashkil etdi. XX asrda esa matematik mantiq K. Gödel, A. Tarskiy, A. Chyorch va A.
Turinglar tomonidan yanada rivojlantirildi.Diskret matematika quyidagi asosiy bo‘limlarni o‘z
ichiga oladi:To‘plamlar nazariyasi: asosiy elementlar, amallar va munosabatlar.Kombinatorika:
sanash, joylashtirish, kombinatsiyalar va ehtimollik elementlari.Graf nazariyasi: tugunlar va
ularning o‘zaro bog‘liqligi, yo‘llar, sikllar va tarmoqlar.Algoritmlar nazariyasi: hisoblash
jarayonlari va ularning samaradorligini baholash.Mantiqiy algebra: mantiqiy ifodalar,
formulalar, qaror qabul qilish jarayonlari.Matematik mantiq esa quyidagilarni o‘rganadiFormal
mantiqiy tizimlar: predikatlar, aksiomalar va qoidalar.Mantiqiy isbot usullari: deduktiv va
induktiv xulosalar.Tillar va modellar nazariyasi: formulalarni formal tilga o‘tkazish va ularning
semantikasi.Diskret matematika va matematik mantiq zamonaviy matematik tahlilning asosiy
yo‘nalishlaridan biri bo‘lib, ularning nazariy asoslari axborot texnologiyalari, kompyuter
fanlari, sun’iy intellekt, algoritmik tahlil, kriptografiya va boshqa ko‘plab yo‘nalishlarda
mustahkam poydevor vazifasini bajaradi. Ushbu fanlar o‘zining tarixiy taraqqiyotida ko‘plab
buyuk olimlar ishi natijasida shakllangan bo‘lib, bugungi ilm-fan taraqqiyotiga chuqur ta’sir
o‘tkazmoqda.
Diskret matematik tafakkur ilk bor qadimgi Hindiston, Misr va Yunoniston
matematiklarining ishlarida uchraydi. Misol uchun, Pifagor, Evlid va Aristotel asarlarida sonlar
nazariyasi, mantiqiy mulohazalar va isbot uslublarining ilk namunalari mavjud. Aristotel
tomonidan ishlab chiqilgan klassik sillogistik mantiq matematik mantiq uchun boshlang‘ich
asos bo‘lib xizmat qildi. Bu davrda mantiq ko‘proq falsafiy va dialektik vosita sifatida
qo‘llanilgan.O‘rta asrlarda arab va islom olimlari, xususan Al-Xorazmiy, Ibn Sino, Farg‘oniy,
Umar Xayyom kabi allomalar algebraik va mantiqiy tafakkur rivojiga katta hissa qo‘shganlar.
Yevropa uyg‘onish davrida esa Rene Dekart, Gottfried Leybnits kabi olimlar mantiqni
matematik ifodalashga intildilar. Ayniqsa, Leybnits universal hisoblash mashinasini orzu qilgan
va mantiqiy operatsiyalarni mexanik tarzda bajarish g‘oyasini ilgari surgan.
Bu davr matematik mantiq va diskret matematikaning jadal rivojlanish bosqichidir. Jorj
Bul tomonidan ishlab chiqilgan bul algebra (Boolean algebra) zamonaviy mantiqiy algebra va
raqamli tizimlarning asosi bo‘ldi. Frége, Peano, Russell, Whitehead kabi olimlar matematikani
mantiqiy asoslashga harakat qildilar. Gödelning to‘liqsizlik teoremalari esa matematik
mantiqning chegaralarini ochib berdi. Alan Turing esa hisoblash nazariyasini asoslab,
algoritmik fikrlashning fundamentini yaratdi.
Diskret matematika va matematik mantiqning shakllanishi uzoq tarixiy jarayonlarga
borib taqaladi. Bu fanlarning ildizlari qadimgi sivilizatsiyalar tafakkurida, ularning matematik,
falsafiy va mantiqiy qarashlarida mujassam bo‘lgan bo‘lsa-da, zamonaviy shakllari XIX–XX
asrlarda paydo bo‘lgan.Diskret matematika — bu nouzluksiz (diskret) obyektlarni
o‘rganadigan matematik soha bo‘lib, raqamlar, to‘plamlar, mantiqiy tuzilmalar, graflar va
algoritmlar ustida ishlaydi. Bu soha, ayniqsa, kompyuter fanlari, kriptografiya, sun’iy intellekt
va tarmoq tizimlari kabi texnologik sohalarda muhim rol o‘ynaydi.Asosiy Yo‘nalishlar va
YOSH OLIMLAR
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/yo
136
Tuzilmalar: Matematik Mantiq.Propozitsiyalar mantiqi: formulalar, haqiqiylik qiymatlari, De
Morgan qonunlari.Predikatlar mantiqi: kvantorlar (
∀
,
∃
), formulalarni formal tahlil
qilish.Isbotlar: matematik induksiya, qarama-qarshilikdan isbot, konstruktiv isbot.. To‘plamlar
Nazariyasi.Diskret to‘plamlar: sonlar, satrlar, belgilar.Amallar: birlashtirish (
∪
), kesish (∩),
ayirish (\), kuch to‘plam (P(S)).Karta son: to‘plamdagi elementlar soni (masalan, |A| = n).
Kombinatorika.Kombinatsiyalar: C(n, k) = n! / (k!(n-k)!)Permutatsiyalar: P(n) = n!.Rekursiv
formulalar (masalan, Fibonachchi sonlari), va o‘sish funksiyalari. Graf NazariyasiGraf — G = (V,
E), bu yerda V — tugunlar to‘plami, E — ulovlar (qirralar) to‘plami.Yo‘l, sikl, daraxt,
bog‘liqlik.Mashhur algoritmlar:Kombinatorika — diskret matematikadagi markaziy
ustunlardan biri bo‘lib, u nazariy asoslarni va amaliy algoritmik yondashuvlarni birlashtiradi.
Har qanday sanash, joylashtirish, tanlash, optimallashtirish bilan bog‘liq muammo, aslida,
kombinatorik muammodir. Shuning uchun bu soha kompyuter fanlari, kriptografiya, sun’iy
intellekt, va ehtimollik nazariyasi bilan bevosita bog‘langan.Ehtimollar nazariyasida diskret
to‘plamlar (masalan, tasodifiy o‘zgaruvchilar to‘plami) yordamida ehtimollarni hisoblashda
matematik mantiq va to‘plamlar nazariyasidan foydalaniladi. Diskret ehtimollar to‘plami uchun
kombinatorik hisoblashlar va induktiv yondashuvlar ishlatiladi.Matematik Mantiq va G To‘plam
Nazariyasi.Matematik mantiq — bu rasmiy mantiqiy tizimlar va isbot metodlari bilan
shug‘ullanuvchi matematik soha bo‘lib, uning asosiy maqsadi — mantiqiy bayonotlar, formal
tizimlar va ularning isbotlarini o‘rganishdir.
Propozitsional Mantiq va To‘plamlar.Propozitsional mantiqda, to‘plamlar nazariyasining
asosiy tushunchalari mantiqiy bayonotlarni tasniflashda qo‘llaniladi. Mantiqiy formulalar
to‘plamlar shaklida ifodalanadi, masalan:
A
∧
B (A va B) — ikki mantiqiy bayonotning kesishmasi (to‘plamlar nazariyasida
kesishish).
A
∨
B (A yoki B) — ikki mantiqiy bayonotning birlashmasi (to‘plamlar nazariyasida
birlashtirish).
¬A (Aning inkori) — A bayonotining inkori (to‘plamlarda inkor amali).
Matematik mantiqdagi tautologiya (doim rost bo‘lgan ifoda) va kontradiksiya (doim
noto‘g‘ri bo‘lgan ifoda) tushunchalari to‘plamlar nazariyasida bo‘sh to‘plam yoki to‘plamlarning
birliklari sifatida tasvirlanadi.
Matematik induksiya — bu to‘plamlar ustida ishlov berishning asosiy metodlaridan
biridir. Induksiya prinsipiga ko‘ra, agar biror mantiqiy bayonotning boshlang‘ich holati (oddiy
to‘plamdagi element) rost bo‘lsa va uni har bir keyingi holatda (keyingi to‘plam elementlari)
isbotlash mumkin bo‘lsa, demak, bu bayonot butun to‘plam uchun rost bo‘ladi.
Diskret matematika va matematik mantiq bir-birini to‘ldiradigan va bir-biriga bog‘liq
fanlardir. Diskret matematika to‘plamlar, graflar, kombinatorika va algoritmlar nazariyasini o‘z
ichiga olgan bo‘lsa, matematik mantiq bu sohalarda formalizatsiya, mantiqiy isbotlar va
strukturalarni tahlil qilish uchun asos bo‘lib xizmat qiladi. Kombinatorika — diskret
matematikaning boshqa muhim sohasi bo‘lib, u ob’yektlarning tartibini, sonini va tuzilishini
o‘rganadi. Kombinatorika ko‘plab muammolarni, masalan, permutatsiyalar, kombinatsiyalar va
variatsiyalarni hisoblashni o‘z ichiga oladi. Masalan:Permutatsiya:P(n)=n
Kombinatsiya:C(n,k)=n!/k!*(n-k)!
Variatsiya:V(n,k)=n!/(n-k)!
YOSH OLIMLAR
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/yo
137
Matematik mantiq — bu matematik strukturalar va tizimlar o‘rtasidagi mantiqiy
munosabatlarni o‘rganuvchi fan. Matematik mantiqning asosiy maqsadi — formallashgan
mantiqiy tizimlar yordamida isbotlarni aniq va to‘g‘ri tarzda qurishdir. Matematik mantiq,
asosan, propozitsional mantiq, predikat mantiqi va formallashgan tizimlarni
o‘rganadi.Propozitsional mantiqda, mantiqiy bayonotlar (propozitsiyalar) ustida ishlanadi. Har
bir bayonot yoki rost, yoki noto‘g‘ri bo‘lishi mumkin. Propozitsiyalar o‘rtasida mantiqiy
bog‘lanishlar o‘rnatiladi.
Foydalanilgan adabiyotlar/Используемая литература/References:
1.
К л и н и С. М атематическая логика. М: «М ир», 1973.. К н ут Д . И скусство
программирования для ЭВМ. М, «М ир», т. 1 1976, т. 2.1977, т. 3. 1978.К о н д ак о в Н .И .
Введение в логику. М., «Наука», 1967.. К о ф м ан А . Введение в прикладную
комбинаторику. М., «Наука», 1975. К олдуэлл С . Логический синтез релейных устройств.
М., 1961. К о л м о го р о в А .Н ., Ф ом и н С .В . Элементы теории функций и
функционального анализа. М ., «Наука», 1989.К узин Л . Т. О сновы кибернетики. Том 2.
М., «Энергия», 1979.К узн ецов О . П ., А д ельсон -В ельски й Г. М . Дискретная математика
для инженера. 2-е изд. М., «Энергоатомиздат», 1988.К у к Д ., Б е й з Г. Компьютерная
математика. М ., «Наука», 1990.. К у д р я в ц ев В.Б.а) Теорема полноты для одного класса
автоматов без обратных связей. Проблемы кибернетики, В ы п.8. М., «Ф изматгиз», 1962,
стр. 91-116.б) О мощ ностях множ еств предполных множеств некоторых
функциональных .систем, связанны х с автоматами. Проблемы кибернетики, Вып.13. М.,
«Н аука», 1965, стр. 45-74. Л а в р о в И .А ., М ак си м о ва Л .Л . Задачи по теории множеств,
математической логике и теории алгоритмов. М., «Наука», 1975.Л а з а р е в В .Г, П и й л ь
Е .И . Синтез управляю щ их автоматов. М., «Энергия»,1978. Л ан д о С . К. Л екции о
производящ их функциях. 2-е изд. М., М Ц Н М О , 2004.Л екции по теории графов. /
Емеличев В.А., М ельников О.И., С арванов В.И., Тыш кевич Р.И. М ., «Н аука», 1990.. Л и п с
к и й В. К омбинаторика для программистов. М., «М ир», 1988.. Л и х т а р н и к о в Л .М ., С
у к а ч е ва Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения.
Санкт-П етербург, «Лань», 1999. Л у п а н о в О .Б .а) О синтезе некоторых классов
управляю щ их систем. Сб. “ Проблемы кибернетики”, В ы п .10. М.. «Ф изматгиз», 1963,
стр. 88-96.б) Об одном подходе к синтезу управляю щ их систем-принципы локального
кодирования. // П роблем ы кибернетики. Вып. 14. М., «Наука», 1965, стр. 31-110.в) О
возмож ностях синтеза схем из произвольных элементов. // Труды МИАН СССР, 51, 1958,
стр. 158-183.. Л я п у н о в А .А . О логических схем ах программ. // Проблемы кибернетики,
Вып.1. М ., «Ф изм атгиз», 1958, стр. 46-74.1. U.U.Umarova. Mulohazalar aigebrasi.- “Durdona”
nashriyoti, 2019.. Ҳотам Тўраев. Математик мантиқ ва дискрет математика.-Тошкент
“Ўқитувчи” 2003.. Игошин В. И. Задачи и упражнения по математической логике и
теории алгоритмов. —3-е издание М., 2007.. В.Е.Алексеев, Л.Г.Киселева, Т.Г. Смирнова.
Сборник задач по дискретной математике.- Нижний Новгород 2012.. А.Е.Будько.
Электронгный учебно-методический комплекс для студентов физико-математического
факультета
специальностей
«Прикладная
математика»
и
«Экономическая
кибернетика». Дискретная математика и математическая логика-Брест БрГУ имени
А.С.Пушкина 2015. Т.В. Бернштейн, Т.В. Храмова. Практикум по дискретной математике.-
YOSH OLIMLAR
ILMIY-AMALIY KONFERENSIYASI
in-academy.uz/index.php/yo
138
Новосибирск 2011.. БайифЖ.-К Логические задачи: Пер. с фр. — М., 1983 Визам Д, Герцег
Я. Игра и логика (85 логических задач): Пер. с венг. — М., 1975.Гаврилов Г Я, Сапоженко
А. А. Сборник задач по дискретной мате-матике. — М., 1977..Гиндикин С. Г Алгебра
логики в задачах. — М., 1972..Гохман А. В., Спивак М.А., Розен В. В. Сборник задач по
математи-ческой логике и алгебре множеств. — Саратов, 1969.Драбкина М. Е.
Логические упражнения по элементарной математике. — Минск, 1965.Игошин В. И.
Математическая логика и теория алгоритмов. — Саратов, 1991..Игошин В. И. Задачник-
практикум по математической логике. — М., 1968.
