O’ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH
VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
QARSHI FILIALI KOMPYUTER INJINIRINGI FAKULTETI DI-11-20 GURUH TALABASINING KOMPYUTERNI TASHKIL ETISH
Ishdan maqsad: Kompyuter tashkil qilishning raqamli-mantiqiy asoslari. Raqamli mantiqiy sxemalar xaqida umumiy tushuncha. Va raqamli-mantiqiy qurilmalarning ishlash prinsipi.
Mantiqiy algebra Shaxsiy kompyuterning mantiqiy sxemalari va qurilmalari ishi maxsus matematik apparat, matematik mantiqqa asoslangan. Matematik mantiq mantiqiy masalalarni yechish va mantiqiy zanjirlar qurishning matematik usullarini qo'llanishini o'rganadi. Algoritm va dasturlarni ishlab chiqishda mantiqni bilish zarur, chunki ko'pchilik dasturlash tillarida mantiqiy operatsiyalar mavjud. n Ingliz matematigi Jorj Boul (1815 - 1864) mantiqiy algebra yaratdi, unda jumlalar harflar bilan belgilanadi. Bu algebrani batafsil o'rgangan Jorj Bulning inshosi 1854 yilda nashr etilgan. U "Fikr qonunlarini tadqiq qilish" deb nomlangan. Demak, Boul o'zining algebrasini odamlarning tafakkur qonunlarini, ya'ni mantiq qonunlarini o'rganish vositasi deb bilgani aniq.Mantiq algebrasi takliflar algebrasi deb ham yuritiladi. Matematik mantiqda hukmlar bayonot deyiladi.Mantiqiy umumiy tushunchalar-bu inson tafakkurining shakllari va qonunlari, xususan, dalillarga asoslangan fikrlash qonunlari haqidagi fan. n Matematik mantiq - matematika (va hisoblash) ehtiyojlari bilan bog'liq holda ishlab chiqilgan umumiy mantiq sohalaridan biri. U quyidagilarni o'z ichiga oladi: propozitsion mantiq (propozitsion hisoblash; mantiq algebrasi; mantiq algebrasi). predikatlar mantig'i (predikatlar hisobi). metamatematika (fanlarning aksiomatik tuzilishini, xususan, xuddi shu matematikani o'rganish). Mantiq algebra- Bu matematikaning bo'limi, ularning mantiqiy qadriyatlari (haqiqat yoki yolg'onlik) va ulardagi mantiqiy operatsiyalar tomondan ko'rib chiqiladigan so'zlarni o'rganadi.Mantiq algebrasi 19 -asrning o'rtalarida paydo bo'lgan. ingliz matematikasi Jorj Boulning asarlarida. Uning yaratilishi an'anaviy mantiqiy muammolarni algebraik usullar yordamida hal qilishga urinish edi.