DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING ASOSLARI. TARIXIY MA'LUMOTLAR
;
Diskret matematika, matematik mantiq, graf nazariyasi, kombinatorika, algoritmlar, formal tizimlar, sonlar nazariyasi, Bul algebrasi, hisoblash nazariyasi, avtomatlar nazariyasi, predikatlar mantiği, sun’iy intellekt, kriptografiya, algoritmik tahlil, mantiqiy munosabatlar.Abstrak
Mazkur maqolada diskret matematika va matematik mantiqning tarixi, asosiy tushunchalari hamda zamonaviy qo‘llanilish sohalari tahlil qilinadi. Diskret matematika uzluksiz bo‘lmagan tuzilmalarga asoslangan bo‘lib, u kombinatorika, graf nazariyasi va algoritmlar kabi yo‘nalishlarni o‘z ichiga oladi.
Iqtiboslar
Rosen, K. H. Discrete Mathematics and Its Applications. McGraw-Hill Education, 2019
Ebbinghaus, H. D., Flum, J., Thomas, W. Mathematical Logic. Springer, 2005.
Bool, G. An Investigation of the Laws of Thought. Macmillan, 1854.
Turing, A. M. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 1936.
Gödel, K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Princeton University Press, 1931.
Knuth, D. E. The Art of Computer Programming, Vol. 1: Fundamental Algorithms. Addison-Wesley, 1997.
Sipser, M. Introduction to the Theory of Computation. Cengage Learning, 2012.
Grimaldi, R. P. Discrete and Combinatorial Mathematics: An Applied Introduction. Pearson, 2003.
