نظریه رایانش‌پذیری: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
برچسب بدون منبع |
جزبدون خلاصۀ ویرایش |
||
خط ۱:
{{منبع}}
'''نظریه محاسبه‌پذیری''' از مباحث پایه در [[علوم رایانه]] است که به بررسی محاسبه‌پذیر و محاسبه‌ناپذیر بودن عملیات با استفاده از ابزارهای کلاسیک نظیر [[ماشین ثبات]]، [[ماشین تورینگ]] و [[توابع بازگشتی]] میپردازد.
بدون شك يكي از علل پيشرفت اين نظريه تلاش محققين براي اثبات پاسخ منفي به مساله دهم هيلبرت بوده است.
{{ریاضی-خرد}}
| |||