Qaysisini hisoblash mumkin emas?

Mundarija:

Qaysisini hisoblash mumkin emas?
Qaysisini hisoblash mumkin emas?
Anonim

((Hisoblash nazariyasida hal qilib boʻlmaydigan muammo bu ha/yoʻq javobini talab qiladigan hisoblash muammosi turidir, lekin har doim kompyuter dasturi boʻlishi mumkin emas. to'g'ri javob beradi, ya'ni har qanday mumkin bo'lgan dastur ba'zan noto'g'ri javob beradi yoki hech qanday javob bermasdan abadiy ishlaydi. https://en.wikipedia.org › wiki › List_of_undecidable_problems

Qabul qilib boʻlmaydigan muammolar roʻyxati - Vikipediya

oddiygina javobi (yoki chiqishi) "to'g'ri" yoki "noto'g'ri" bo'lgan qaror muammosi kontekstida hisoblab bo'lmaydigan degan ma'noni anglatadi). Hisoblab bo'lmaydigan muammo - bu muammoni hal qilish uchun hech qanday algoritm mavjud emas.

Hisoblab boʻlmaydigan muammolar nima?

Hisoblash nazariyasida hal qilib boʻlmaydigan muammo bu turidagi hisoblash muammosi boʻlib, unga “ha/yoʻq” javobini talab qiladi, lekin har doim ham toʻgʻri javob beradigan kompyuter dasturi boʻlishi mumkin emas. javob; ya'ni har qanday mumkin bo'lgan dastur ba'zan noto'g'ri javob beradi yoki hech qanday javob bermasdan abadiy ishlaydi.

Hisoblab bo'lmaydigan raqam nima?

Chaytin doimiysi hisoblanmaydigan songa misol (aslida misollar turkumi). Bu tasodifiy yaratilgan dasturning (muayyan modelda) toʻxtab qolish ehtimolini ifodalaydi. Uni taxminan hisoblash mumkin, lekin (tasdiqlash mumkin) ixtiyoriy aniqlik bilan hisoblash algoritmi yo'q.

Qaysi muammohisoblash mumkinmi?

Matematik muammo hisoblash mumkin, agar u printsipial ravishda hisoblash qurilmasi yordamida yechilsa. "Hisoblash mumkin bo'lgan" so'zining ba'zi umumiy sinonimlari "echiladigan", "hal qilinadigan" va "rekursiv". Gilbert barcha matematik masalalarni yechish mumkin deb hisoblardi, ammo 1930-yillarda Gödel, Tyuring va Cherç bunday emasligini ko'rsatdilar.

Bo'sh to'plamni hisoblash mumkinmi?

Bo'sh to'plam hisoblash mumkin. Natural sonlarning butun to'plamini hisoblash mumkin. Har bir natural son (standart to'plam nazariyasida aniqlanganidek) hisoblash mumkin; ya'ni berilgan natural sondan kichik natural sonlar to'plamini hisoblash mumkin.

Tavsiya:

Qiziqarli maqolalar
Elastiklik modulidami?
Ko'proq o'qish

Elastiklik modulidami?

Elastiklik moduli qattiqlik oʻlchovidir, yuqori modulli materiallar past modulli materiallarga nisbatan yuk ostida kamroq deformatsiyani namoyon qiladi. Ta'mirlash vaqtida elastiklik moduli beton taglik moduliga o'xshash bo'lishi kerak. Elastiklik moduli sizga nimani bildiradi?

Makliflik testini qanday qilish kerak?
Ko'proq o'qish

Makliflik testini qanday qilish kerak?

QO'L QO'LQASI TESTI Bemorlar tik turgan yoki o'tirgan holatda bo'lishi mumkin va ularga qo'llarini boshlari ustida yoki ko'z darajasida mahkam bog'lashlari buyuriladi. Boshlashdan oldin operator qo'llarini kerakli tarzda mahkam bog'lab, sub'ektlarning qo'llarini qayerga qo'yish kerakligini tushuntiradi.

Skott Fri qayerdan kelgan?
Ko'proq o'qish

Skott Fri qayerdan kelgan?

“Skotsiz” iborasi skandanav tilidagi “Skat” soʻzidan kelib chiqqan boʻlib, “soliq” yoki “toʻlov” degan maʼnoni anglatadi. Bu soʻz 10-asrda kambagʻallarga yordam berish uchun qayta taqsimlanadigan soliq nomi sifatida “skot”ga aylandi. Skotsiz qochib ketish nimani anglatadi?