Adabiyotlar tahlili.
X.T.To’rayevning “Matematik mantiq va diskret matematika” darsligi bo’yicha mulohazalar algebrasi funksiyalarinig 0 va 1 saqlash, monotonlik, o’z-o’ziga qo’shmalik, chiziqlililik xususiyatlari, Post teoremasining tadbiqi berilgan. Bunda shuningdek mulohazalar algebrasi asosiy tushunchalari, diskret matematika fanining asosiy tushunchalari ta`rifi keltirilgan.
С.М. Окулов. “Программирование в алгоритмах” o’quv qo’llanmasida mulohazalar algebrasi asosiy tushunchalarining grammatik ta’rifi keltirilgan.
Н.Виртнинг “Структура данных+алгоритмы=программа” o’quv qo’llanmasida ma’lumotlar strukturasi va ularni qayta ishlash algoritmlari berilgan.
В.Гофман, А.Хоменколарнинг ”Delphi 7” o’quv qo’llanmasida “Delphi7” dasturlash tilining asosiy elementlari komponentalari, sinflari, loyiha tashkil qilish vositalari hamda ularning imkoniyatlari bayon qilingan.
______ oyida magistrlik ishining ilmiy va amaliy ahamiyati yana bir bor tahlil qilinib, quyidagi xulosalarga kelindi.
Ishning ilmiy ahamiyati. Mantiqiy amallarni hisoblash jarayonida ularning dekompsitsiyasini amalga oshirishda Petri modelini qo’llash mumkin ekanligi ko’rsatildi.
Ishning amaliy ahamiyati. Bilimlar bazasining ma’lumotlar tizimini to’liqligini hamda mukammalligini tekshirish uchun tuzilgan dasturiy ta’minotdan foydalanish mumkin. Shunungdek, tuzilgan algoritm va dasturiy ta’minotga asosan “Matematik mantiq va diskret matematika” fanining amaliy va laboratoriya topshiriqlarini bajarish mumkin.
Ishning tuzilishi. Ushbu bitiruv malakaviy ishi kirish qismi, 3 ta bob, hamda xulosadan iborat bo’lib, 1-bob bitiruv malakaviy ishida zarur bo’lgan mulohazalar algebrasining funksiyalari, Bul algebrasi, funksiyalarning yopiq sinflarga tegishliligi to’g’risidagi ta’rif va qoidalar hamda mulohazalar algebrasi asosiy tushunchalarining grammatik ta’rifi keltirilishi
2-bobda formulani grammatik tasnifiga ko’ra uni xotirada saqlash uchun ma’lumotlar strukturasini tanlash, ma’lumotlarning ifodalanishini va testlar majmuasini tanlashga tavsiyalar, formulalarni tahlil qilish uchun asosiy qoidalar, mantiqiy ifodalarni soddalashtirish va hisoblash, funksiyalar sistemasining to’liqligini tekshirish algoritmlari berilishi
3-bobda dasturiy ta’minotning tarkibiy qismi va ularning tavsifi, dasturdan foydalanuvchilar uchun qo’llanma, dastur yordamida berilgan funksiyalar sistemasining to’liqligini tekshirish jarayoni keltirilishi.
Xulosa qismida bitiruv malakaviy ishnig asosiy natijalari va amaliy tadbiqlari keltirilishi reja qilib olindi.
Do'stlaringiz bilan baham: |