Mulohazalar hisobini keltirib chiqarish qoidalarining algoritmi va dasturlarini tuzish

Ushbu bitiruv malakaviy ishi mulohazalar hisobini keltirib chiqarish qoidalarini kompyuter yordamida amalga oshirish algoritmini yaratishga bag'ishlangan. Unda tekislikdagi uchburchaklarga oid masalalarni yechish jarayoni modellashtiriladi va masalaning shartlarida berilgan parametrlardan foydalanib yechish usullari ishlab chiqiladi. Masalani yechish algoritmi ob'ektga yo'naltirilgan "Delphi" dasturlash tilida amalga oshirilgan.

Asosiy mavzular

Mulohazalar hisobi: Aksiomatik mantiqiy sistema, mulohazalar algebrasi va uning interpretatsiyasi, aksiomalar sistemasi, formulalar tushunchasi, isbotlanuvchi formulalar, keltirib chiqarish qoidalari va natijalari, formulalar majmuasidan formulani keltirib chiqarish, mulohazalar algebrasi va hisobi o'rtasidagi munosabatlar, yechilish, zidsizlik, to'liqlilik va erkinlik muammolari.
Tekislikdagi uchburchaklar: Uchburchak ta'rifi, asosiy formulalari, ichki va tashqi burchaklar, medianalar, bissektrisalar, balandliklar, o'rta chiziqlar, tashqi va ichki chizilgan aylanalar, sinuslar va kosinuslar teoremalari, proyeksiyalar teoremalari, yuzani hisoblash formulalari, to'g'ri burchakli va muntazam uchburchaklar.
Uchburchak masalalarini formallashtirish: Masala shartlarini formal tavsiflash, parametrlarni aniqlash, mantiqiy funksiyalarni yaratish, hisoblash modellarini tuzish, yechish algoritmini yaratish.
Dasturiy ta'minot: Uchburchak masalalarini yechish uchun ob'ektga yo'naltirilgan "Delphi" dasturlash tilida dasturiy vosita yaratish, amaliy modul protseduralari tavsifi, foydalanuvchilar uchun qo'llanma.