Reja: kirish predikatlar algebrasi mulohazalar

MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI

AXBOROT XAVFSIZLIGI FAKULTETI 712-20 GURUH TALABASI ROXATOV BEHZODNING
DISKRET TUZILMALARI FANIDAN

MUSTAQIL ISHI

MAVZU:PREDIKATLAR ALGEBRASI, MULOHAZALAR HISOBI FORMULASI TUSHUNCHALARI

REJA:
KIRISH
1. PREDIKATLAR ALGEBRASI MULOHAZALAR
1.1-§. Mulohazalar. Mulohazalar ustida mantiqiy amallar.
1.2-§. Teng kuchli formulalar va asosiy teng kuchliliklar
1.3-§. Formulaning normal shakllari.


2. MULOHAZALAR HISOBI FORMULASI TUSHUNCHALARI
2.1-§. Matematikada aksiomatik metod.
2.2-§. Mulohazalar algebrasi interpritatsiyalari
2.3-§. Mulohazalar algebarsi va mulohazalar hisobi orasidagi munosabatlar.
XULOSA
FOYDALANILGAN ADABIYOTLAR
Kirish.
“Farzandlarimiz bizdan ko’ra bilimli, kuchli, dono va albatta baxtli bo’lishlari shart”
I.A.Karimov

Mustaqil O’zbekistonimiz jahonda o’z o’rnini egallayotgan bir paytda, davlatimizrivojlanishning yuksak cho’qqilariga erishmoqda. Bunga zamonamiz yoshlari ilm-fan hamda texnika sohasida tinmay izlanishlar va ilmiy yutuqlari orqali o’z xissalarini qo’shmoqdalar.

Ta’lim sohasidagi yo’lni ochib bergan, bizni ilm-fanning nurli manzili tomon yetaklagan muhtaram birinchi prezidentimiz I.A.Karimov kadrlar tayyorlashning angicha, samarali usulini taqdim etishga boshchilik qilgan bo’lsa, president Sh.M.Mirziyayev ana shu dasturni strategik maqsadlarning tarkibiga kiritdi. Biz buni 2017-2021-yillarga mo’ljallangan O’zbekiston Respublikasining Prezidentining O’zbekiston Reespublikasini yanada rivojlantirish bo’yicha harakatlar strategiyasi to’g’risidagi Farmoni bilan tanishib chiqib bilib olishimiz mumkin. Unda ta’lim va fan sohasini rivojlantirish bo’yicha quyidagi ustuvor vazifalar belgilangan.
Uzluksiz ta’lim tizimini yanada takomillashtirish, sifatli ta’lim xizmatlari imkoniyatini oshirish, mehnat bozorining zamonaviy ehtiyojlarga mos yuqori malakali kadrlar tayyorlash sistemasini davom ettirish;
Ta’lim muassalarini qurish, rekonstruksiya qilish va kapital ta’mirlash, ularni zamonaviy o’quv va laboratoriya asboblari, kompyuter texnikasi va o’quv-metodik qo’llanmalar bilan jihozlash orqali ularning moddiy-texnika bazasini mustahkamlash yuzasidan maqsadli chora-tadbirlarni ko’rish va boshqalar.
Muxtasar qilib aytganda oxirgi yillarda ta’lim-tarbiya sohasida amalga oshirish yo’lida ketayotgan, ko’lami va mohiyatiga ko’ra ulkan ishlarimiz biz ko’zlagan ezgu niyatlarimizga erishish, hech kimdan kam bo’lmaydigan hayot barpo etish, yoshlarimiz, butun xalqimizning ma’naviy yuksalish yo’lida mustahkam zamin yaratdi, desak, hech qachon xato bo’lmaydi.
Ushbu kurs ishi mulohazalar algebrasi va uning interpritetsiyalarini o’rganishga bag’ishlangan.