نظریه محاسبه از دروس پایه ای رشته علوم کامپیوتر می باشد. یکی از اهداف اصلی نظریه محاسبه دسته بندی مسائل به قابل حل بودن و یا غیر حل بودن است. درنیمه اول قرن بیستم ٰتورینگ و چرچ کشف کردند که بعضی از مسائل پایه با یک الگوریتم قابل حل نیستند ود رنهایت مدل نظری آنان منجر به ساخت کامپیوترهای واقعی شد.

با پیشرفت های روز افزون در زمینه توسعه الگوریتم های کامپیوتری همچنان سؤالات زیادی در ارتباط با محدودیت های محاسبات با این الگوریتم ها وجود دارد به طوری که از هفت مسئله باز قرن ۲۱ که توسط انجمن ریاضی کلی در سال ۲۰۰۰ طرح شده اند و دارای جایزه یک میلیون دلاری می باشند یک مسئله مربوط به نظریه محاسبه می باشد.

استفاده از مفاهیم نسبتاً پیچیده ریاضی برای اثبات قضایای چون تز چرچ –تورینگ و یا مسئله کاهش پذیری از یک طرف و واضح نبودن ارتباط این درس با سایر دروس علوم کامپیوتر یادگیری این درس را برای دانشجویانی که برای اولین بار با این مطالب مواجه می شوند سخت و پیچیده می کند.

توجه:رمز فایل  www.frafile.4kia.ir