Mahsulot tavsifi

Ushbu kurs ishida matematik mantiqning asosiy tushunchalari – mulohazalar, ularning rost/yolg‘on qiymatlari va mantiqiy amallar (inkor, kon’yunksiya, diz’yunksiya, implikatsiya, ekvivalensiya) batafsil tahlil qilinadi. Ish davomida rostlik jadvallari tuzish, mukammal dizyunktiv va mukammal konyunktiv normal shakllarni hosil qilish usullari va ularning amaliy tadbiqlari ko‘rib chiqiladi. Shuningdek, predikatlar tushunchasi va mantiq qonunlari (inkor, ziddiyatsizlik, De Morgan qonunlari, distributivlik va boshqalar) yoritiladi. Maqsad — talabalarni matematik mulohazalar algebrasi bilan tanishtirish va ularning mustaqil ishlash ko‘nikmalarini rivojlantirish.

Muallif

Kompyuter Xizmarlari MarkaziTasdiqlangan muallif

Hujjatlari

13 540

Sotilgan

849