|
FOYDALANILGAN ADABIYOTLAR.
“O’zbekiston Respublikasi yanada rivojlantirish bo’yicha harakatlar strategiyasi to’g’risida”gi O’zbekiston Respublikasi Prezidentining Farmoni. Toshkent: Adolat 2017.
I.A.Karimov Yuksak ma`naviyat-yengilmas kuch.-T.: Sharq, 2008.
O`zbekiston Respublikasi «Ta`lim to`g`risida» Qonuni. Barkamol avlod - O`zbekiston taraqqiyotining poydevori. -T.: Sharq, 1997.
To’rayev H.T. Matematik mantiq va diskret matematika. T: Taffakur Bo’stoni, 2011
To’rayev H.T. Mulohazalar hisobi va predikatlar mantiqi. Muammoli lektsiyalar kursi Samarqand SamDU nashriyoti, 2003
Nazarov R.N., Toshpo’latov B.T., Dusumbetov A.D. Algebra va sonlar nazariyasi. T, o’qituvchi 2 qism, 1995 й.
Куликов Л. Я. Алгебра и теория чисел. Москва: Высш.шк. 1979 г. (
Ziyonet.uz
Referat.uz
10.Lex.uz
O‘ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARNI RIVOJLANTIRISH VAZIRLIGI
Muhammad al-Xorazmiy nomidagi Toshkent axborot texnologiyalari universiteti Qarshi filiali
“Kompyuter Injiniringgi”
yunalishi
“Diskret Tuzilmalari”
fanidan
11-mustaqil ish
Mavzu: Mantiqiy bog’lovchilar,qismiy formula,isbotlovchi formula,mulohazalar hisobining aksiomalar sistemasi.
BAJARDI; DJUMANIOYOZOV S
QABUL QIDI: TURDIYEV U.Q
Mavzu: Mantiqiy bog’lovchilar,qismiy formula,isbotlovchi formula,mulohazalar hisobining aksiomalar sistemasi.
Reja:
1.Mantiqiy bog’lovchilar.
2.Qismiy formula.
3.Isbotlovchi formula va mulohazalar hisobining aksiomalar sistemasi.
4.Foydalanilgan adabiyoti.
5.Xulosa.
Mantiqiy amallar, mantiqiy operatsiyalar — berilgan hadlari va natijasi mulohaza (fikr) dan iborat amallar. Berilgan hadlar soniga qarab Mantiqiy amallar bir oʻrinli, ikki oʻrinli va h.k. deb yuritiladi. Bir oʻrinli Mantiqiy amallar soni toʻrtta: berilgan fikrdan qatʼi nazar natijasi doim chin (aynan haqiqat) amal, natijasi doim yolgʻon (aynan yolgʻon) amal, natijasi berilgan fikr bilan mos tushadigan amal va, nihoyat, berilgan fikr chin boʻlsa, natijasi yolgʻon, berilgan fikr yolgʻon boʻlsa, natijasi chin boʻladigan amal. Soʻnggi mantiqiy amal bir oʻrinli Mantiqiy amallardan eng muhimi boʻlib, u inkor amal deyiladi. A fikrning inkori ~hA kabi belgilanib, "A emas" deb oʻqiladi. Mas, 1 Oy sayyora — "Oy sayyora emas", (] 2*2=4) — ikki karra ikki toʻrt emas.
Ikkilik kodda yozilgan mashina soʻzlari ustida Mantiqiy amallar mos razryadlar boʻyicha bajarilib, i oʻrniga 1, l oʻrniga 0 olinadi, matn shakliga aylantiriladi va maʼlumot koʻrinishida chiqish qurilmasiga beriladi. Mantiq-informatsion mashina tez ishlashi, "xotira" hajmining kattaligi bilan oddiy hisoblash mashinalaridan farq qiladi. Mantiq-informatsion mashina i. t. natijalarini ishlash, adabiyot topishni avtomatlashtirish, sanoat, qishloq xoʻjaligi va transportga oid statistik maʼlumotlarni, davolash muassasalarida bemorlarni kuzatishdan olingan natijalarni, meteorologik, seysmologik stansiyalardan, Yer sunʼiy yoʻldoshlaridan olingan maʼlumotni ishlash va tarjima ishlarida qoʻllaniladi.[1]
Protsessor tarkibidagi arifmetik-mantiqiy qurilmaning ishlash prinsipini tushunish uchun avval insonning mantiqiy fikrlash va xulosa chiqarish usullarini ko’rib chiqamiz.
Insonlar kundalik hayotda o’zaro muloqot qilish uchun turli mulohazalardan foydalanishadi. Ma’lumki, mulohaza – narsa yoki hodisalarning xususiyatini anglatuvchi darak gapdir. Boshqacha aytganda, mulohaza – rost yoki yolg’onligi haqida so’z yuritish mumkin bo’lgan darak gap.
Mulohazalar sodda va murakkab boʻlishi mumkin. Biror shart yoki usul bilan bogʻlanmagan hamda faqat bir holatni ifodalovchi mulohazalar sodda mulohazalar deyiladi. Sodda mulohazalar ustida amallar bajarib, murakkab mulohazalarni hosil qilish mumkin. Odatda murakkab mulohazalar sodda mulohazalardan “VA”, “YОKI” kabi bogʻlovchilar, “EMAS” shaklidagi koʻmakchilar yordamida tuziladi.
Mulohazalarni lotin alifbosi harflari bilan belgilash (masalan, A= “Bugun havo issiq”) qabul qilingan. Har bir mulohaza faqat ikkita: “rost” yoki “yolgʻon” mantiqiy qiymatga ega boʻlishi mumkin. Qulaylik uchun “rost” qiymatni 1 raqami bilan, “yolgʻon” qiymatni esa 0 raqami bilan belgilab olamiz.
A va B sodda mulohazalar bir paytda rost boʻlgandagina rost boʻladigan yangi (murakkab) mulohazani hosil qilish amali mantiqiy koʻpaytirish amali deb ataladi.
Bu amalni konyunksiya (lotincha: conjunctio– bog’layman) deb ham atashadi. Mantiqiy koʻpaytirish amali ikki yoki undan ortiq sodda mulohazalarni “VA” bogʻlovchisi bilan bogʻlaydi hamda “A va B” , “A and B” , “A Λ B” , “A · B” kabi koʻrinishda yoziladi. Mantiqiy koʻpaytirishni ifodalaydigan quyidagi jadval rostlik jadvali deb ataladi:
Do'stlaringiz bilan baham: |
