Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Abdumannonov

1. 
   Mulohazalar hisobining asosiy tushuncbalari
   

25. Mulohazalar hisobida isbotlanuvchi formula ta’rifi
49. Tyuring mashinasining programmasi
73. Umumiylik kvantorining xossalari
97. Predikatlar hisobida yechilish muammosi
121. Quyidagi ifodalarning qaysilari mulohazalar hisobining formulalari bo‘lishini aniqlang:
a) ; b) ;
d) ; e) ;
145. Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b) ;
169. Ushbu kvantorli mulohazalarning inkorlarini toping:

1. 
   x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))
   
2. 
   x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)));
   

193. Berilgan P so’zga T=T(T₁,(q’₁₀,q₂₁), T₂,(q’’₁₀,q₃₁),T₃) mashinani qo’llanilishini aniqlang.

Bunda, q₂₀ -T₂ mshinaning tugallovchi holati, q₃₀ -T₃ mashinaning tugallovchi holati.

P=1[1²0¹1²]¹
Abduvaxobov

2.Mulohazalar hisobi formulasi tushunchasi

26. Mulohazalar hisobining yechilish muammosi;

50.Tyuring mashinasining har xil konfiguratsiyalari;

74. Mavjudlik kvantorining xossalari;
98. Predikatlar hisobida zidsizlik muammosi;

122.Quyidagi formulalarning hamma qismiy formulalarini toping:

a) ; b)
146. Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b) ;
170. Ushbu kvantorli mulohazalarning inkorlarini toping:
a) ; b)
194. Berilgan P so’zga T=T(T₁,(q’₁₀,q₂₁), T₂,(q’’₁₀,q₃₁),T₃) mashinani qo’llanilishini aniqlang.
Bunda, q₂₀ -T₂ mshinaning tugallovchi holati, q₃₀ -T₃ mashinaning tugallovchi holati.

P=1²[[01]²]²
Akmalov

3.Mulohazalar hisobida isbotlanuvchi formula tushunchasi;

27. Mulohazalar hisobining zidsizlik muammosi;
51. Tyuring mashinasida algoritmni realizasiya qilish;
75. Predikatlar formulsining ta’rifi;
99. Predikatlar hisobida to’liqlik muammosi;
123. Quyidagi formulalarning hamma qismiy formulalarini toping:
a) ; b) ;
147.Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b) ;
171.Berilgan g va h funksiyalarga ko’ra, primitive rekursiya sxemani qo’llab, (x,y) funksiyani aniqlang. g(x)= 1 va h(x,z)=

195.Berilgan P so’zga T=T(T₁,(q’₁₀,q₂₁), T₂,(q’’₁₀,q₃₁),T₃) mashinani qo’llanilishini aniqlang.

Bunda, q₂₀ -T₂ mshinaning tugallovchi holati, q₃₀ -T₃ mashinaning tugallovchi holati.

P=11[011]³