Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Ibrokhimova

12.Formulani keltirib chiqarish qoidasi;

36. To‘g‘ri, teskari va qarama-qarshi teoremalarning tuzilishi;
60.Primitiv rekursiya amali;
84.Quyidagi formulalarni teng kuchliligini isbotlang:
, ;
108.Konyunksiyaga nisbatan distributivlikni predikatlar uchun bajarilishi;
132.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
156.Quyida berilgan jumlalardagi nuqtalar o‘rniga yo «zarur, ammo yetarli emas», yo «yetarli, ammo zarur emas», yo «zarur emas va yetarli emas» yoki, qayerda mumkin bo‘lsa, «zarur va yetarli» so‘zlarini shunday qo‘yingki, hosil bo‘lgan mulohazalar chin bo‘lsin.
funksiya segmentda integrallanuvchi bo‘lishi uchun segmentda uzluksiz bo‘lishi ...
180. Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x³ va h(x,z)= .


Mirjahon

13.Keltirib chiqarish (isbotlash) tushunchasi;

37.Yetarli va zaruriy shartlari mavjud teoremaning tuzilishi;
61.Minimizatsiya operatsiyasi;
85.Quyidagi formulalarni teng kuchliligini isbotlang:
, ;
109.Dizyunksiyaga nisbatan distributivlikni predikatlar uchun bajarilishi;
133.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
157.Quyida berilgan jumlalardagi nuqtalar o‘rniga yo «zarur, ammo yetarli emas», yo «yetarli, ammo zarur emas», yo «zarur emas va yetarli emas» yoki, qayerda mumkin bo‘lsa, «zarur va yetarli» so‘zlarini shunday qo‘yingki, hosil bo‘lgan mulohazalar chin bo‘lsin.
sonli qator yaqinlashuvchi bo‘lishi uchun bo‘lishi ...
181.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= 4 va h(x,z)= ;


Robiya

14.Keltirib chiqarishning I-qoidasi;

38.Teoremani teskarisini (aksini) faraz qilish usuli bilan isbotlash;
62.Rekursiv va rekursiv sanaluvchi to’plam;
86.Quyidagi formulalarni teng kuchliligini isbotlang:
, , .
110. qarama-qarshilik qonunini predikatlar uchun bajarilishi;
134.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
158.Quyidagi tasdiqlarning (teoremalarning) noto‘g‘riligini isbot qiling.