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

Abstract

Diskret matematika – matematik tarmoqlardan biri bo‘lib, u doimiy yoki uzluksiz emas, balki aniq va cheklangan ob’ektlar bilan ishlaydi. Bu soha, xususan, kompyuter ilm-fanida, algoritmlar, grafiklar, to‘plamlar nazariyasi, ehtimollar nazariyasi, va matematik mantiq kabi tarmoqlarda keng qo‘llaniladi. Matematik mantiq esa, matematik tushunchalar va ularning mantiqiy aloqalarini o‘rganish bilan shug‘ullanadi. Matematik mantiqning asoslari XVIII-XIX asrlarda shakllandi va bu soha zamonaviy kompyuter fanlari, sun’iy intellekt va dasturlash tillarining rivojlanishiga katta ta’sir ko‘rsatdi.Diskret matematika va matematik mantiqning tarixi o‘rganilganda, avvalambor, Grunji (Go’del), Frege, Russell kabi olimlarning ishlari ko‘riladi. Matematik mantiqning rivojlanishi birinchi navbatda formalizatsiya va ishonchli matematik usullarni kiritishga qaratilgan bo‘lib, bu o‘z navbatida matematikada aniq isbotlar va mantiqiy xulosalar olish imkonini yaratdi.