Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Agar funksiya biror nuqtada uzluksiz bo‘lsa, u holda u shu nuqtada differensiallanuvchi bo‘ladi;
182.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x⁴ va h(x,z)=


Mirsharipov

15.Keltirib chiqarishning II-qoidasi;

39.Aksiomatik predikatlar hisobi;

63.Rekursiv va rekursiv sanaluvchi to’plam xossalari;
87.Matematik mulohazalarni predikatlar mantiqi formulasi ko‘rinishida yozish.
111. uchinchisini istisno qonunini predikatlar uchun bajarilishi;
135.O‘rniga qo‘yish va xulosa qodalarini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini aniqlang:
;
159.Quyidagi tasdiqlarning (teoremalarning) noto‘g‘riligini isbot qiling.
Agar sonli qatorning - hadi nolga teng bo‘lsa, u holda bu qator yaqinlashuvchi bo‘ladi
183.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x⁴ va h(x,z)= ;


Narzullayev

16.Keltirib chiqarishning III-qoidasi;

40.Algoritm tushunchasi va uning xarakterli xususiyatlari;
64.Predikat (mantiqiy funksiya) tushunchasi, predmet soha, elementar formulalar;
88.Mulohazalar algebrasi va mulohazalar hisobi orasidagi bog’lanish;
112. , idempotentlik qonunini predikatlar uchun bajarilishi;
136.Keltirib chiqarishning hosilaviy qoidalaridan foydalanib, quyidagi formulalarning isbotlanuvchi ekanligini ko‘rsating:
a) ; b) ;
160.Quyidagi tasdiqlarning (teoremalarning) noto‘g‘riligini isbot qiling.
Agar to‘rtburchakning diagonallari teng bo‘lsa, u holda bu to‘rtburchak to‘g‘ri burchakli bo‘ladi;
184.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x² va h(x,z)=


Omonova

17.Keltirib chiqarishning IV-qoidasi;

41.Rekursiv va rekursiv sanaluvchi to‘plamlar;
65.Chyorch-Tyuring tezisi;
89.Mantiq qonuni. Yechilish muammosi;
113. yutilish qonunini predikatlar uchun bajarilishi;
137.Keltirib chiqarishning hosilaviy qoidalaridan foydalanib, quyidagi formulalarning isbotlanuvchi ekanligini ko‘rsating:
a) ; b) .
161.Quyidagi tasdiqlarning (teoremalarning) noto‘g‘riligini isbot qiling.