Keywords
Abstract
Mazkur ishda matematik mantiqning asosiy tushunchalari, mantiqiy amallar, predikatlar, mulohazalar va ularning formal ifodalanishi haqida ma’lumot beriladi. Shuningdek, dasturlashning nazariy asoslari, algoritmik fikrlash va mantiqiy tahlil orqali muammolarni yechish yo‘llari yoritilgan. Ushbu mavzu orqali talabalar mantiqiy mulohaza yuritish, algoritmlar tuzish va ularni dasturlash tillarida ifodalash ko‘nikmalarini rivojlantiradilar. Fan informatika va dasturlash bo‘yicha nazariy bilimlarni mustahkamlash, amaliy masalalarni hal qilishda mantiqiy yondashuvni shakllantirishga xizmat qiladi.References
1. Enderton, H. B. A Mathematical Introduction to Logic. – Academic Press, 2001. – 316 p.
2. Mendelson, E. Introduction to Mathematical Logic. – CRC Press, 1997. – 413 p.
3. Sipser, M. Introduction to the Theory of Computation. – Cengage Learning, 2012. – 504 p.
4. Cormen, T. H., Leiserson, C. E., Rivest, R. L., Stein, C. Introduction to Algorithms. – MIT Press, 2009. – 1312 p.
5. Russell, S., Norvig, P. Artificial Intelligence: A Modern Approach. – Pearson, 2020. – 1152 p.
6. Kernighan, B. W., Ritchie, D. M. The C Programming Language. – Prentice Hall, 1988. – 274 p.
7. Lutz, M. Programming Python. – O'Reilly Media, 2013. – 1648 p.
8. Ullman, J. D. Elements of ML Programming. – Prentice Hall, 1998. – 432 p.
9. Saeed, K., Ahmad, S. Mathematical Logic and Its Applications in Computer Science. – Springer, 2018. – 250 p.
10. Python Software Foundation. Python Documentation. https://docs.python.org (accessed June 2025).