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.Аннотация
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.
Библиографические ссылки
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.
