Navoiy davlat pedagogika instituti fizika matematika fakulteti

I Oʻquv fanining maqsadi va vazifalari

« Matematik mantiq va diskret matematika» fanining asosiy maqsadi- talabalarga mantiq fanining matematik interpretatsiyasi haqida maʼlumotlar berish, matematik mantiq diskret matematikaning qonunlari asosida ularning mantiqiy va matematik tafakkurini rivojlantirish, yozma va ogʻzaki mantiqiy nutqini shakllantirishdir.

Bu fan matematikaning tez rivojlanib borayotgan boʻlimlaridan biri boʻlib, uning vazifasi juda koʻp amaliy masalalarni , chunonchi, hisoblash mashinalari, avtomatik sistemalarni loyihalash , dasturlashtirish va kibernetika masalalarini hal etish hamda hisoblash texnikasi va informatika asoslarini chuqur oʻrganishda matematikaning mohiyatini ochib berishdan iborat.

« Matematik mantiq va diskret matematika» fanini oʻzlashtirish natijasida talabalar quyidagi bilimga;

- mulohaza, mantiq amallari;

- mulohazalar algebrasining formulasi va uning turlari;

- asosiy tengkuchliliklar;

- ikki qiymatli funksiyalar;

- MDNF, MKNF;

- ikkilik prinsipi va ikkilik qonuni;

- mulohazalar algebrasining qoʻllanilishi;

- mulohazalar hisobini aksiomatik qurish;

- keltirib chiqarish qoidalari;

- mulohazalar hisobining zidsizligi va toʻliqligi;

-predikatlar, kvantorlar, predikatlar algebrasi;

- predikatlar hisobi uchun keltirib chiqarish qoidalari;

-rekurrent munosabatlar;

- asimptotik metod;

- graf , daraxt,

Mazkur fanni oʻzlashtirish natijasida talabalar quyidagilarni qoʻllash koʻnikmasiga;

- asosiy tengkuchliliklarni islotlay olish;

- mulohazalar algebrasining formulalarini ikki qiymatli funksiyalar yordamida ifodalash;

- formulalarni MDFN ,MKNF ga aylantirish;

-ikkilik prinsipi va ikkilik qonunini masalalar yechishga tadbiq qila olish;

- funksiyalarning bir nechta toʻliq sistemalarni koʻrsata olish ;

- predikatlar algebrasi formulalarining turini aniqlay olish;

- predikatlar algebrasidagi tengkuchliliklarni islob qila olish

- predikatlar algebrasidagi asosiy mantiq qonunlarini isbot qilish;

- predikatlar hisobining baʼzi bir tabtologiyalarini islob qilish;

-matematik nazariyalarga misollar keltira olish;

- baʼzi bir algoritmlar uchun Tyuring mashinalarini qurish;

- rekurrent munosabatlarni yechish;

- graf , daraxtlarni tuzish.

Mazkur fanni oʻzlashtirish natijasida talabalar quyidagi malakaga ega boʻlishi lozim;

- mulohazalar algebrasining formulasi uchun rostlik jadvalini tuzish va turini aniqlash;

- mulohazalar algebrasini elementar matematika masalalarini yechishga tadbiq eta olish;

- umumiylik va mavjudlik kvantorlarini masalalar yechishga tadbiq eta olish;

- predikatlarning rostlik sohalarini topa bilish.