DISKRIT MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING ASOSLARI. TARIXIY MA’LUMOTLAR
Article Sidebar
Main Article Content
Аннотация:
Ushbu maqolada diskret matematika va matematik mantiqning tarixi hamda asosiy tamoyillari yoritiladi. Diskret matematika zamonaviy axborot texnologiyalari va algoritmik jarayonlarning nazariy asosi bo‘lib, uning rivojlanishi qadimgi matematika, mantiq va sonlar nazariyasi bilan chambarchas bog‘liqdir. Maqolada Aristotel, Evklid, Jorj Bul kabi olimlarning matematik mantiq va diskret tuzilmalarga qo‘shgan hissasi tahlil qilinadi. Shuningdek, diskret matematikaning asosiy tushunchalari – to‘plamlar nazariyasi, kombinatorika, algoritmlar, graf nazariyasi va mantiqiy hisoblash usullari ko‘rib chiqiladi. Ushbu fan sohasining rivojlanishi zamonaviy dasturlash, kriptografiya, sunʼiy intellekt va kompyuter fanlarining rivojiga qanday ta’sir qilgani ham muhokama qilinadi. Maqola diskret matematikaning nazariy asoslarini va uning amaliy ahamiyatini yoritishga qaratilgan.
Article Details
Как цитировать:
Библиографические ссылки:
Aristotel – Organon. Qadimgi Yunoniston falsafasida mantiqiy fikrlash asoslarini bayon etgan.
Evklid – Elementlar. Matematikaning aksiomatik asoslarini yaratgan.
Boole, G. – An Investigation of the Laws of Thought. Matematik mantiq va Bul algebrasi asoschisi.
Turing, A. – On Computable Numbers, with an Application to the Entscheidungsproblem (1936). Hisoblash nazariyasi va sun’iy intellekt asoslariga oid ilmiy ish.
Rosen, K.H. – Discrete Mathematics and Its Applications (7th Edition). Diskret matematikaning amaliy jihatlariga oid xalqaro darslik.
Grimaldi, R. – Discrete and Combinatorial Mathematics (5th Edition). Kombinatorika va graf nazariyasiga oid fundamental manba.
Hotam To‘rayev – Matematik mantiq va diskret matematika (1-jild, 2-jild). O‘zbekiston ta’lim tizimi uchun muhim darsliklar.
Abulov, M.O. – Diskret matematika va matematik mantiq fanidan misollar va masalalar to‘plami. Amaliy masalalar yechimi uchun qo‘llanma.
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C. – Introduction to Algorithms. Algoritmlar va hisoblash nazariyasiga oid fundamental asar.
Eyler, L. – Solutio problematis ad geometriam situs pertinentis (1736). Graf nazariyasining boshlanishi.
Stinson, D.R. – Cryptography: Theory and Practice. Diskret matematikaning kriptografiyadagi qo‘llanilishi haqida.
Sipser, M. – Introduction to the Theory of Computation. Hisoblash nazariyasi va avtomatlar haqida.
Knuth, D.E. – The Art of Computer Programming (Vol. 1-3). Algoritmlar, kombinatorika va hisoblash tizimlari haqida fundamental asar.
Kolmogorov, A.N., Uspensky, V.A. – Algorithms and the Theory of Computation. Hisoblash nazariyasi va algoritmik yondashuvlar haqida.
Epp, S. – Discrete Mathematics with Applications. Amaliy diskret matematika bo‘yicha mukammal qo‘llanma.
Graham, R.L., Knuth, D.E., Patashnik, O. – Concrete Mathematics: A Foundation for Computer Science. Kompyuter fanlari uchun diskret matematika asoslari.
Liu, C.L. – Elements of Discrete Mathematics. Diskret tuzilmalar, matematik mantiq va algoritmlar haqida.
Bondy, J.A., Murty, U.S.R. – Graph Theory with Applications. Graf nazariyasi va uning real hayotdagi qo‘llanilishi.
Biggs, N. – Discrete Mathematics. Kombinatorika, graflar va to‘plamlar nazariyasi bo‘yicha asosiy manba.
Van Lint, J.H., Wilson, R.M. – A Course in Combinatorics. Kombinatorikaga oid fundamental darslik.
Rich, E. – Automata, Computability, and Complexity. Avtomatlar nazariyasi va hisoblash murakkabligi haqida.
Papadimitriou, C.H. – Computational Complexity. Hisoblash murakkabligi nazariyasi bo‘yicha yetakchi manba.
Sedgewick, R., Wayne, K. – Algorithms. Algoritmlarni tahlil qilish va samarali ishlatish bo‘yicha darslik.
Peterson, J.L. – Petri Net Theory and the Modeling of Systems. Tarmoqlar va tizim modellashtirishga oid adabiyot.
Skiena, S.S. – The Algorithm Design Manual. Algoritmlar tuzish va optimizatsiya bo‘yicha muhim qo‘llanma.