Turli tizimdagi tillarda modallik kategoriyasini ifodalovchi vositalar (ingliz va o‘zbek tillari materiallari misolida)

Ushbu dissertatsiya "Eksperimental matematika mantiqiy isbotga ehtiyojni rivojlantiruvchi vositalardan biri sifatida" mavzusiga bag'ishlangan bo'lib, unda matematikani o'qitishda kompyuter eksperimentlaridan foydalanish, mantiq va intuitusiyaning o'zaro aloqadorligi hamda ularning matematikani tushunishdagi ahamiyati tadqiq etilgan. Kitobda turli misollar, teoremalar va ularning kompyuter dasturlari yordamida isbotlanishi ko'rsatilgan.

Asosiy mavzular

KIRISH: Mavzuning dolzarbligi, tadqiqot obyekti, predmeti, maqsadi, vazifalari, ilmiy yangiligi, asosiy farazlari va masalalari bayon etiladi. Shuningdek, mavzu bo'yicha adabiyotlar sharxi va tadqiqotda qo'llanilgan metodika hamda uning nazariy va amaliy ahamiyati haqida ma'lumot beriladi.
1-bob. MAVZU YUZASIDAN MAVJUD ADABIYOTLAR SHARXI: 1.1-§. Mantiq va intuitsiya bo'yicha adabiyotlar sharxi - Mantiqning mohiyati, rivojlanishi va Aristotel, Al-Forobiy, Frensis Bekon, Martin Gardner kabi olimlarning hissasi yoritiladi. 1.2-§. Eksperimental matematika bo'yicha adabiyotlar sharxi - Eksperiment tushunchasi, uning matematikaga tatbiqi va kompyuter texnologiyalarining roli ko'rib chiqiladi.
2-bob. MATEMATIKADA MANTIQ VA INTUITSIYA: 2.1-§. Matematikada mantiq - Mantiqning rivojlanishi, simvolik mantiq, uning qonunlari va tafakkurning shakllari haqida so'z yuritiladi. 2.2-§. Matematikada intuitsiya - Intuitsiya tushunchasi, uning mohiyati, rolini Pifagor, Aristotel, Dekart kabi olimlar qarashlari asosida bayon etiladi. 2.3-§. Mantiq va intuitsiya uyg'unligi - Mantiq va intuitsiyaning o'zaro bog'liqligi, ularning birgalikda ishlashi va ta'limdagi ahamiyati tahlil qilinadi.
3-bob. EKSPERIMENTAL MATEMATIKA MANTIQIY ISBOTGA EHTIYOJNI RIVOJLANTIRUVCHI VOSITALARDAN BIRI SIFATIDA: Ushbu bobda matematik isbotlashda eksperimental usullardan foydalanishning nazariy va amaliy jihatlari ko'rib chiqiladi. Turli masalalar (Narvonni sirpanishi, G'ildirakni aylanishi, Uchburchak kesmalarining kesishish nuqtalari) kompyuter dasturlari yordamida modellashtirilib, ularning yechimi va isboti tahlil qilinadi. Xususan, giposikloida, astroida va muntazam uchburchak hosil bo'lishi isbotlanadi.
XULOSA: Tadqiqot natijalari umumlashtiriladi. Matematikani o'qitishda mantiq va intuitsiyaning uyg'unligini ta'minlash, kompyuter eksperimentlaridan foydalanishning muhimligi yana bir bor ta'kidlanadi va kelajakdagi tadqiqotlar uchun tavsiyalar beriladi.
FOYDALANILGAN ADABIYOTLAR: Dissertatsiya yozilishida foydalanilgan ilmiy adabiyotlar va veb-saytlar ro'yxati keltirilgan.