• 39-mavzu. Elementar dizyunksiyalar va elementar konyunksiyalar. Normal formalar.
  • 40-mavzu. Keltirilgan formula tushunchasi. O‘zaro qo‘shma formulalar. Ikkilik qonuni. Rele-kontakt sxemalari.
  • 41-mavzu. Aksiomatik usul. Mulohazalar hisobi. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulohazalar algebrasining umumqiymatli formulalari.
  • 42-mavzu. Gipotezalar (farazlar). Hosilaviy keltirib chiqarish qoidalari. Kuchli va kuchsiz formulalar. Monoton o‘suvchi va monoton kamayuvchi formulalar. Teng kuchli formulalar.
  • -mavzu. Mantiq qonuni. Ziddiyat. Bul algebrasi. Funksiyalarning to‘liq va to‘liqmas sistemalari




    Download 154,35 Kb.
    bet49/74
    Sana10.12.2023
    Hajmi154,35 Kb.
    #115134
    1   ...   45   46   47   48   49   50   51   52   ...   74
    Bog'liq
    Loyiha nomi Matematika fanini o‘qitish huquqini berish bo‘yicha

    38-mavzu. Mantiq qonuni. Ziddiyat. Bul algebrasi. Funksiyalarning to‘liq va to‘liqmas sistemalari.
    Mantiq qonuni. Ziddiyat.Bajariluvchi formula.Bul algebrasi. Ikki qiymatli funksiya.Ikki qiymatli funksiya orqali mulohazalar algebrasining formulasini ifodalash. Funksiyalarning to‘liq va to‘liqmas sistemalari.
    39-mavzu. Elementar dizyunksiyalar va elementar konyunksiyalar. Normal formalar.
    Elementar dizyunksiyalar va elementar konyunksiyalar. To‘g‘ri, to‘liq, mukammal elementar dizyunksiyalar va elementar konyunksiyalar. Normal formalar. MDNF. MKNF. Mulohazalar algebrasining formulalarini MDNF va MKNF ga aylantirishning ikki usuli.
    40-mavzu. Keltirilgan formula tushunchasi. O‘zaro qo‘shma formulalar. Ikkilik qonuni. Rele-kontakt sxemalari.
    Keltirilgan formula tushunchasi. O‘zaro qo‘shma formulalar. Ikkilik qonuni. Berilgan formaning qo‘shmasini topish. Ikkilik prinsipi haqidagi teorema. Mulohazalar algebrasining elementar matematika va fizikaga tatbiqlari. Rele-kontakt sxemalari.
    41-mavzu. Aksiomatik usul. Mulohazalar hisobi. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulohazalar algebrasining umumqiymatli formulalari.
    Aksiomatik usul. Geometriyadan, arifmetikadan aksiomatik usulga sodda misollar. Mulohazalar hisobini qurish. Mulohazalar hisobining aksiomalari. Mulohazalar hisobida keltirib chiqariluvchi formula tushunchasi. Keltirib chiqariluvchi formulalarga misollar. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulhazalar algebrasining umumqiymatli formulalari orasidagi bog‘lanish.
    42-mavzu. Gipotezalar (farazlar). Hosilaviy keltirib chiqarish qoidalari. Kuchli va kuchsiz formulalar. Monoton o‘suvchi va monoton kamayuvchi formulalar. Teng kuchli formulalar.
    Gipotezalar (farazlar). Gipotezalardan keltirib chiqarish tushunchasi. Deduksiya teoremasi. Hosilaviy keltirib chiqarish qoidalari: sillogizm, shartlarningo‘rnini almashtirish, shartlarni birlashtirish v.h. Kuchli va kuchsiz formulalar. Monoton o‘suvchi va monoton kamayuvchi formulalar. Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.

    Download 154,35 Kb.
    1   ...   45   46   47   48   49   50   51   52   ...   74




    Download 154,35 Kb.

    Bosh sahifa
    Aloqalar

        Bosh sahifa



    -mavzu. Mantiq qonuni. Ziddiyat. Bul algebrasi. Funksiyalarning to‘liq va to‘liqmas sistemalari

    Download 154,35 Kb.