تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 879
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSITM01_011
تاریخ نمایه سازی: 10 شهریور 1393
Abstract:
علم رایانه موضوعات متنوعی از مطالعات نظری روی الگوریتم ها و محدودیت محاسبات را شامل می شود یکی از موضوعات نظری علوم رایانهمطالعات کلاسیک محاسبه است. ریشه های تاریخی نظریه محاسبات را می توان در کارهای منطق دانان بزرگ جستجو کرد. امروزه نظریهمحاسبات از شاخه های بنیادی در منطق ریاضی و علوم نظری کامپیوتر محسوب می شود و در مطالعه مبانی ریاضی و همچنین تئوریالگوریتم ها و پیچیدگی محاسبه و بسیاری از مسائل تحقیقاتی در ریاضیات وعلوم کامپیوتر نقش اساسی دارد.در این مقاله سعی شده است که نظریه محاسبات یا تئوری محاسبات که بخش کوچکی از علم نظری رایانه است را مورد مطالعه قرار داده و بهتبیین و تعریف نظریه محاسبات و شاخه های عمده آن بپردازیم. دراین نوشته چیزی که در خور توجه است بینش جدیدی است که روینظریه محاسبات صورت گرفته و سعی شده بین شاخه های عمده نظریه محاسبات که شامل نظریه پیچیدگی محاسباتی و نظریه محاسبهپذیری )قابلیت حل شدن( است رابطه ای برقرار کنیم و وابستگی میان آنها را پیدا کرده و این رابطه را در قالب یک قضیه بیان کنیم و اثباتمنطقی برای آن بیاوریم که مورد قبول خواننده قرار گیرد.
Keywords:
نظریه محاسبه پذیری (قابلیت حل پذیری) - نظریه پیچیدگی محاسباتی - ماشین تورینگ- تصمیم پذیری-کلاسهای پیچیدگی NP , P
Authors
قادر ایمانی
دانشکده علوم ریاضی،دانشگاه شهید بهشتی،تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :