Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Agar funksiya yopiq intervalda integrallanuvchi bo‘lsa, u holda u shu intervalda uzluksiz bo‘ladi;
185.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x⁴ va h(x,y,z)= .
Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x³ va h(x,y,z)=


Primov

18.Keltirib chiqarishning V-qoidasi (Deduksiya teoremasi)

42.Rekursiv va rekursiv sanaluvchi to‘plamlar xossalari;
66.Post teoremasi. Rekursiv sanaluvchi to’plamlar xaqida asosiy teorema;
90.Predikatlar mantiqi formulasining deyarli normal shakli;
114.Konyunksiyaga nisbatan distributivlikni kvantorlar uchun bajarilishi;
138.Umumlashgan deduksiya teoremasidan foydalanib, quyidagi formulalarning isbotlanuvchi ekanligini isbotlang:
a) ;
b) ;
162.Ushbu kvantorli mulohazalarning inkorlarini toping:
a) ; b) ;


Rashidov
19.Umumlashgan deduksiya teoremasi
43.Rekursiv to’plam to’g’risida Post teoremasi;
67.Rekursiv sanaluvchi to’plamlar panjarasi;
91.Predikatlar mantiqi formulasining normal shakli
115.Dizyunksiyaga nisbatan distributivlikni kvantorlar uchun bajarilishi;
139.Umumlashgan deduksiya teoremasidan foydalanib, quyidagi formulalarning isbotlanuvchi ekanligini isbotlang:
;
163.Ushbu kvantorli mulohazalarning inkorlarini toping:
a) ; b) ;
187.Berilgan

programma bo’yicha Tyuring mashinasini P so’ziga qo’llash mumkinmi? Bunda, q₁-boshlang’ich holat, q₀-tugallangan holat.
P=[10]²1⁵;
Salimova
20.VI qoida. (Kon’yunksiyani kiritish qoidasi).
44.Algoritm tushunchasini aniqlashdagi muammolar
68.Predikatning chinlik toplami;
92.Aksiomatik predikatlar hisobi;
116. qarama-qarshilik qonunini kvantorlar uchun bajarilishi
140.Mantiq qonunlarining to’g‘riligini ko’rsating:
a) ; b) ; d) _;
164.Ushbu kvantorli mulohazalarning inkorlarini toping:
a) ; b)

188.Berilgan

programma bo’yicha Tyuring mashinasini P so’ziga qo’llash mumkinmi? Bunda, q₁-boshlang’ich holat, q₀-tugallangan holat.
Asilbek
21.VII qoida. (Diz’yunksiyani kiritish qoidasi);
45.Algoritm tushunchasini aniqlashga yondashishlar;
69.Predikatlar ustida dizyunksiya amalini bajarilishi;
93.Predikatlar hisobida umumiylik kvantorini kiritish qoidasi;
117. uchinchisini istisno qonunini kvantorlar uchun bajarilishi

141.Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.

a) ;
b) ;
165. Ushbu kvantorli mulohazalarning inkorlarini toping:
a) ;
b) ;
189.Berilgan

programma bo’yicha Tyuring mashinasini P so’ziga qo’llash mumkinmi? Bunda, q₁-boshlang’ich holat, q₀-tugallangan holat.
P=[10]²1² 0²;