MATEMATIK LOGIKA PROPOZITSION VA PREDIKAT MANTIQI, MATEMATIK ISBOTLAR, FORMAL TIZIMLAR

Mualliflar

  • MUXTOROV BEHRUZ QUDRATILLO O‘G‘LI ##default.groups.name.author##

##semicolon##

Matematik logika, propositsion mantiq, predikat mantiq, matematik isbotlar, formal tizimlar, teoremalar, kvantifikatorlar, ishonchli xulosalar.

Abstrak

Matematik logika – bu matematik fikrlash va tushunishning asoslarini tashkil etuvchi ilmiy soha bo‘lib, u asosan propositsion va predikat mantiqini, matematik isbotlar jarayonlarini va formal tizimlarni o‘rganishga qaratilgan. Matematik logika 
yordamida matematik tushunchalar va xususiyatlarni aniq ifodalash va isbotlash imkoniyati yaratiladi.

##submission.citations##

1. Koychiev, A. (2018). Matematik Logika va Uning Asosiy Tamoyillari. Toshkent:

O‘zbekiston Respublikasi O‘qituvchilar Akademiyasi.

2. Kharchev, A. V. (2015). Introduction to Mathematical Logic. Moscow: Higher

Education Press.

3. Bekmukhamedov, A. (2020). Matematik Mantiq: Asoslar va Amaliyot. Tashkent:

Fann.

4. Shirinkin, S. A. (2017). Fundamentals of Mathematical Logic and Proof Theory.

New York:

##submission.downloads##

Nashr qilingan

2025-01-19

Nashr

Jild 61 Nomeri 8 (2025): ОБРАЗОВАНИЕ НАУКА И ИННОВАЦИОННЫЕ ИДЕИ В МИРЕ|Выпуск журнала №-61|Часть-8

Bo'lim

Articles

##submission.howToCite##

MUXTOROV BEHRUZ QUDRATILLO O‘G‘LI. (2025). MATEMATIK LOGIKA PROPOZITSION VA PREDIKAT MANTIQI, MATEMATIK ISBOTLAR, FORMAL TIZIMLAR. ОБРАЗОВАНИЕ НАУКА И ИННОВАЦИОННЫЕ ИДЕИ В МИРЕ, 61(8), 122-126. https://scientific-jl.org/obr/article/view/10659