Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Buvosherov

10.Mulohazalar hisobida kontrpozisiya qoidasi ;

34.Tarkibida bir turdagi kvantor amali qatnashuvchi normal shakldagi formulalar uchun yechilish muammosi;
58.Rekurent funksiya tushunchasi;
82.Quyidagi formulalarni teng kuchliligini isbotlang:
,
106.Juft funksiya ta’rifini predikat formulasi ko’rinishida ifodalash;
130.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
154.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.
bo‘lishi uchun bo‘lishi ...

178.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x va h(x,z)=

Esanov

11.Mulohazalar hisobida ikki karralik inkorni tushirish qoidasi;

35.Predikatlar yordamida teorema tuzilishi ifodalash;
59. Tyuring mashinasida natural sonlarni qo’shish;

83.Quyidagi formulalarni teng kuchliligini isbotlang:

, ;
107.Toq funksiya ta’rifini predikat formulasi ko’rinishida ifodalash;
131.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
155.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 chegaralangan bo‘lishi ...
179.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= 2 va h(x,z)=