Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Asfandiyorov

6. Mulohazalar hisobida xulosa qoidasi;

30. Mulohazalar hisobi formulasini isbotlashning rezolyutsiya usuli;
54.Tyuring mashinalarining kompozitsiyasi;
78.Umumqiymatli va bajaruvchi formulalar haqida teoremalar;
102.Funksiyaning nuqtadagi limiti ta’rifini predikat formulasi ko’rinishida ifodalash;
126. , va formulalar uchun quyidagi o‘rniga qo‘yishlarning natijalarini aniqlang:
a) ; b) ; d) ;
150. Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b) ;
174.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= 3 va h(x,z)=
198.Berilgan P so’zga T=T(T₁,(q’₁₀,q₂₁), T₂,(q’’₁₀,q₃₁),T3) mashinani qo’llanilishini aniqlang.
Bunda, q₂₀ -T₂ mshinaning tugallovchi holati, q₃₀ -T₃ mashinaning tugallovchi holati.

P=[110]²0011;


Atoboyev

8.Mulohazalar hisobida bir vaqtda o‘rniga qo‘yish qoidasi;

31.Mulohazalar hisobi formulasini isbotlashning deduksiya usuli.
55.Tyuring mashinasining tarmoqlanishi.
79.Quyidagi formulalarni teng kuchliligini isbotlang:
,
103.Funksiyaning nuqtadagi uzluksizligi ta’rifini predikat formulasi ko’rinishida ifodalash.
127.O‘rniga qo‘yish qoidasini qo‘llab, quyidagi formulalarning isbotlanuvchi ekanligini ko‘rsating:
;
151.Quyidagi ta’riflarni predikatlar mantiqi tilida yozing?
Chiziqli tartiblangan to‘plam (tartiblangan to‘plam chiziqli deb ataladi, agar shu to‘plamning har qanday va elementlari uchun yo , yo , yoki bo‘lsa);
175.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= x² va h(x,z)=
199.Berilgan P so’zga T=T(T₁,(q’₁₀,q₂₁), T₂,(q’’₁₀,q₃₁),T3) mashinani qo’llanilishini aniqlang.
Bunda, q₂₀ -T₂ mshinaning tugallovchi holati, q₃₀ -T₃ mashinaning tugallovchi holati.

P=0011[01]²;