9-Mavzu: shk tuzilishini o’rganishda “Диспечер устройств” utilitidan foydalanish
Download 0.66 Mb.
|
9-Laboratoriya mashg (2)
- Bu sahifa navigatsiya:
- Masalaning qo‘yilishi
- Qisqacha nazariy ma’lumot
- 1-ta’rif (fikrning inkori
Mavzu rejasi:
Mantiqiy funksiyalarning rostlik jadvalini tuzish. Ishning maqsadi: Talabalarda kompyuterning ishlashining mantiqiy asoslari. Mantiqiy amallar ustida ko‘paytirish, qo‘shish, inkor, implikatsiya va ekvalentlik ustida amallar bajarish va rostlik jadvalini hosil qilish. Masalaning qo‘yilishi: 1) Kompyuterning ishlashining mantiqiy asoslari. Mantiqiy amallarda ishlash xaqida nazariy va amaliy ko‘nikmalar xosil qilish; 2) berilgan topshiriqni quyilgan ish reja asosida bajarish. Topshiriq: Ilovada berilgan savol va topshiriqlarni bajarish. Kerakli jihoz va materiallar: Shaxsiy kompyuter va uning qo‘shimcha qurilmalari, ma’ruza matnlari, har xil adabiyotlar, ma’ruza daftarlari. Qisqacha nazariy ma’lumot Logika so‘zi grekcha “logos” so‘zidan olingan bo‘lib, “fikr”, “so‘z”, “ibora”, ”tushincha” degan ma’nolarni bildiradi. Logika fan sifatida esa fikrlashni o‘rganadi. Logika fani to‘g‘ri fikrlashning qonun va qoidalarini o‘rganuvchi fandir. Fikr deganda, odatda uning chinligi yoki yolg‘onligi haqida gapirish, o‘ylash va ma’noga yega bo‘lishi mumkin bo‘lgan biror da’vo tushiniladi. Fikr chin yoki yolg‘on bo‘lib, u bir vaqtda ham chin, ham yolg‘on bo‘lolmaydi. Rost fikrga “1” belgi, yolg‘on fikrga esa “0” belgi mos qo‘yiladi: Nutqda fikrlar o‘rtasida “va”, “yoki” va hokazo bog‘lovchilardan foydalaniladi. Bu bog‘lovchilar har xil fikrlarni o‘zaro bog‘lab, yangi murakkab fikrlar tuzishga imkon beradi. Shuningdek, berilgan fikrni “inkor” qilish orqali ham yangi fikr qurish mumkin. Yelementar fikrlar orqali bog‘lovchilar yordamida murakkab bo‘lgan fikrlar hosil qilishimiz mumkin. YA’ni, fikrlar ustida quyidagi logik amallarni bajarishimiz mumkin. 1-ta’rif (fikrning inkori): A fikrning inkori deb, A rost bo‘lganda yolg‘on bo‘ladigan, A yolg‘on bo‘lganda rost bo‘ladigan va А (yoki ) kabi belgilanuvchi boshqa bir fikrga aytiladi. Bu ta’rifni tushintirish uchun fikr inkorining chinlik jadvali deb ataluvchi quyidagi jadvalni kiritamiz:
Fikrning inkori. Download 0.66 Mb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling