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