قادر ایمانی - دانشکده علوم ریاضی،دانشگاه شهید بهشتی،تهران

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

نظریه محاسبه پذیری (قابلیت حل پذیری) - نظریه پیچیدگی محاسباتی - ماشین تورینگ- تصمیم پذیری-کلاسهای پیچیدگی NP, P