Abdumannonov Mulohazalar hisobining asosiy tushuncbalari

Xamzayeva G

22.Asoslarni (shartlarni) o’rin almashtirish qonunini sibotlash;

46.Tyuring mashinasi tushunchasi;
70.Predikatlar ustida konyunksiya amalini bajarilishi;
94.Predikatlar hisobida mavjudlik kvantorini kiritish qoidasi;
118. , idempotentlik qonunini kvantorlar uchun bajarilishi.
142.Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b) ;
166.Ushbu kvantorli mulohazalarning inkorlarini toping:
a)x(A(x) B(y))y(B(y) A(x))
b)x(A(x)x(C(x)))x((C(x)A(x))

190.Berilgan

programma bo’yicha Tyuring mashinasini P so’ziga qo’llash mumkinmi? Bunda, q₁-boshlang’ich holat, q₀-tugallangan holat.
P=[101]²1⁵;
Zokirova
23.Asoslarni qo’shish qonunini isbotlash;
47.Tyuring mashinasining mavjud mashinalardan farqi;
71.Predikatlar ustida implikatsiya amalini bajarilishi;
95.Predikatlar hisobida xulosa qoidasi;
119. yutilish qonunini kvantorlar uchun bajarilishi;

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

a) ;
b) ;
167.Ushbu kvantorli mulohazalarning inkorlarini toping:
a)x(A(x)x(B(x)))y(A(x) C(y)C(y)B(x))
b)x(A(x)x(B(y)))x(A(x) B(y))

191.T₁ va T₂ mashinalarning (q_10, q₂₁) holatlar juftligi bo’yicha kompzisiyasin tuzing va P so’zga qo’llanilishini aniqlang. Bunda, q_10-T₁ mashinaning tugallovchi holati, q₂₁- T₂ mashinaning boshlang’ich holati, q₂₀ esa tugallovchi holati.

P=[[10]²0]²
Akobir

24.Asoslarni ajratish qonunini isbotlash

48.Tyuring mashinasining tarkibiy qismlari
72.Predikatlar ustida ekvivalensiya amalini bajarilishi
96.Predikatlar hisobida isbotlanuvchi formula tushunchasi
120.Kommutativlik qoninini kvantorlar uchun bajarilishi
144.Quyida keltirilgan formulalarning qaysilari umumqiymatli bo‘lishini aniqlang.
a) ;
b)
168. Ushbu kvantorli mulohazalarning inkorlarini toping:
a)x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))

b)x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))

192.T₁ va T₂ mashinalarning (q_10, q₂₁) holatlar juftligi bo’yicha kompzisiyasin tuzing va P so’zga qo’llanilishini aniqlang. Bunda, q_10-T₁ mashinaning tugallovchi holati, q₂₁- T₂ mashinaning boshlang’ich holati, q₂₀ esa tugallovchi holati.

P=[1]²[01]²