Matematika fani bo‘yicha o‘zbekiston respublikasi uzluksiz ta’lim milliy o‘quv dasturlari ta’lim sifatini nazorat qilish davlat inspeksiyasi

III. 5110100 – Matematika va informatika ixtisosligida 
o‘qitiladigan qo‘shimcha fanlar
ANNOTATSIYASI
Diskret matematika va matematik mantiq
Matematikada diskret matematika va matematik mantiq fanining tutgan o‘rni beqiyos 
va  ushbu  fan  matematikaning  asosi  hisoblanadi.  Diskret  matematika  va  matematik 
mantiq  fanida  to‘plamlar  nazariyasi  elementlari,  munosabatlar,  binar  munosabatlar, 
mulohazalar  algebrasi,  bul  funksiyalari,  Post  teoremalari,  mulohazalar  hisobi,  isbot 
tushunchasi, “teorema”  tushunchasi,  predikatlar  mantiqi,  birinchi  tartibli  til,  birinchi 
tartibli nazariya, talqin va model tushunchalari va ularga oid bo‘lgan masalalar ko‘riladi. 
Mazkur kurs maqsadi talabalarda diskret va mantiqiy fikrlash qobiliyatini rivojlantirishga 
xizmat qiladi.

---

---

145