PREDIKATLAR HISOBIDA BOSHLANG‘ICH TUSHUNCHALAR
Keywords:
Predikatlar hisobi, matematik mantiq, kvantifikatorlar, predikat, mantiqiy operatorlar, argumentlar, birinchi tartibli mantiq, mantiqiy formulalar, model nazariyasi, isbotlash tizimi, kompyuter fanlari, sun‟iy intellektAbstract
Ushbu maqolada predikatlar hisobi tushunchasi va uning asosiy
elementlari haqida so„z boradi. Predikatlar hisobining qurilishi, kvantifikatorlari va
mantiqiy operatorlari tushuntiriladi. Shuningdek, predikatlar hisobining amaliy qo„llanilishi
ko„rib chiqiladi. Maqola matematik mantiq va kompyuter fanlari sohasida ushbu mavzuning
ahamiyatini ta‟kidlaydi.
References
Endryu Kirill, Matematika va mantiq asoslari, Toshkent, 2018.
Janibekov M., Predikatlar hisobi va uning qo„llanilishi, Toshkent, 2020.
Shakarov B., Matematik mantiq kirish, Toshkent, 2017.
G„aniev O., Mantiq va matematik asoslar, Toshkent, 2019.
Tursunov A., Predikatlar hisobi asoslari, Toshkent, 2021.
Mendelson E., Introduction to Mathematical Logic, Chapman and Hall, 1997.
Enderton H.B., A Mathematical Introduction to Logic, Academic Press, 2001.
Huth M., Ryan M., Logic in Computer Science, Cambridge University Press, 2004.
Boolos G., Jeffrey R., Computability and Logic, Cambridge University Press, 2002.
Smullyan R., First-Order Logic, Dover Publications, 1995.
Russell S., Norvig P., Artificial Intelligence: A Modern Approach, Pearson, 2020.
