Ushbu taqdimot Sheffer amali (shtrixi) tushunchasiga bag'ishlangan. Unda mantiqiy amallardan biri sifatida Sheffer amali ta'rifi, uning chinlik jadvali, hamda turli mantiqiy amallarning chinlik jadvallari keltirilgan. Taqdimotning oxirida berilgan formulalarni chinlik jadvali orqali isbotlash bo'yicha amaliy mashqlar berilgan, shuningdek, foydalanilgan adabiyotlar ro'yxati taqdim etilgan.
Ushbu kitobda mantiqiy algebra, xususan Boolean algebra tuzilishi, xossalari va tatbiqlari batafsil bayon etilgan. Unda Boolean algebraning asosiy tushunchalari, aksiomalari va teoremalari ko'rib chiqilib, ularning mantiqiy masalalarni hal qilishdagi roli ochib berilgan. Shuningdek, Boolean strukturalar va panjaralar o'rtasidagi bog'liqlik, chekli Boolean strukturalarning xususiyatlari ham o'rganilgan.
Ushbu kitob Oliy o'quv yurtlarida mantiqiy ehtimollikni o'qitish usullarini o'rganadi. Unda matematik logika elementlari, ehtimollar nazariyasi, Bul algebra va Bul funksiyalari hamda mantiqiy amallarni ehtimollar nazariyasi masalalariga tadbiqi kabi mavzularga e'tibor qaratilgan. Kitob talabalarga mantiqiy ehtimollikni tushunish va qo'llashda yordam berishga mo'ljallangan.
Ushbu taqdimot mantiqiy algebra asoslari, mantiqiy elementlar va ularning ekvivalent sxemalarini tahlil qilishga bag'ishlangan. Unda sanoq sistemalari, mantiqiy elementlarning ishlash prinsiplari, "VA", "YOKI", "INKOR" elementlari va ularning kombinatsiyalari ko'rib chiqilgan. Shuningdek, Sheffer va Pirs elementlari ham muhokama qilingan. Taqdimot davomida mantiqiy elementlarning haqiqiylik jadvali keltirilgan va ularning sxematik tasvirlari namoyish etilgan.
Ushbu kitob kompyuterning arifmetik va mantiqiy asoslariga bag'ishlangan bo'lib, talabalarga laboratoriya mashg'ulotlarini tashkil etishda qo'llanma sifatida xizmat qiladi. Unda sanoq sistemalari, sonlarni bir sistemadan boshqasiga o'tkazish, arifmetik amallar va mantiqiy asoslar batafsil yoritilgan.
Ushbu kitob raqamli qurilmalarning matematik va mantiqiy asoslariga bag'ishlangan amaliy qo'llanma bo'lib, Toshkent Axborot Texnologiyalari Universitetining talabalari uchun mo'ljallangan. Qo'llanma raqamli qurilmalarni loyihalash, tahlil qilish va optimallashtirish uchun zarur bo'lgan asosiy tushunchalar va usullarni qamrab oladi.
Ushbu kitob diskret matematika bo'yicha mustaqil ish bo'lib, unda mantiqiy algebra va uning asosiy tushunchalari, formulalari, amallari va qo'llanilishi ko'rib chiqiladi. Kitobda nazariy materiallar, misollar, testlar va taqdimot materiallari mavjud.
Ushbu hujjatda informatika va kompyuter texnologiyalari asoslari bo'yicha attestatsiya materiallari va metodik tavsiyalar keltirilgan. Materiallar 2010-2011 o'quv yili uchun 8-sinf bitiruvchilari uchun mo'ljallangan. Unda o'quvchilarning bilim, ko'nikma va malakalarini baholash uchun yozma ishlar shaklidagi bosqichli nazorat usullari, shuningdek, nazorat ishlarining mazmuni va baholash mezonlari ko'rsatilgan. Yozma ishlar kompyuter bilan ta'minlanmagan va ta'minlangan maktablar uchun mo'ljallangan. Asosiy e'tibor nazorat topshiriqlari orqali o'quvchilarning informatika fanidan bilim va ko'nikmalarini aniqlashga qaratilgan. Hujjatda nazorat ishlari uchun namunaviy savollar va topshiriqlar, shuningdek, ularni baholash bo'yicha ko'rsatmalar mavjud.
Qisqacha mazmun mavjud emas.
Ushbu kitob magistratura talabalari uchun mo'ljallangan "Xabar texnologiyalari" fanidan laboratoriya mashg'ulotlarini o'z ichiga olgan o'quv-metodik qo'llanma. Qo'llanmada kompyuterning arifmetik va mantiqiy asoslari, algoritmlash masalalari, Windows operatsion sistemasi va uning dasturlari bilan ishlash bo'yicha metodik ko'rsatmalar berilgan.