تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن
Publish Year: 1393
Type: Conference paper
Language: Persian
View: 1,076
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
CSITM01_011
Index date: 1 September 2014
تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن abstract
علم رایانه موضوعات متنوعی از مطالعات نظری روی الگوریتم ها و محدودیت محاسبات را شامل می شود یکی از موضوعات نظری علوم رایانهمطالعات کلاسیک محاسبه است. ریشه های تاریخی نظریه محاسبات را می توان در کارهای منطق دانان بزرگ جستجو کرد. امروزه نظریهمحاسبات از شاخه های بنیادی در منطق ریاضی و علوم نظری کامپیوتر محسوب می شود و در مطالعه مبانی ریاضی و همچنین تئوریالگوریتم ها و پیچیدگی محاسبه و بسیاری از مسائل تحقیقاتی در ریاضیات وعلوم کامپیوتر نقش اساسی دارد.در این مقاله سعی شده است که نظریه محاسبات یا تئوری محاسبات که بخش کوچکی از علم نظری رایانه است را مورد مطالعه قرار داده و بهتبیین و تعریف نظریه محاسبات و شاخه های عمده آن بپردازیم. دراین نوشته چیزی که در خور توجه است بینش جدیدی است که روینظریه محاسبات صورت گرفته و سعی شده بین شاخه های عمده نظریه محاسبات که شامل نظریه پیچیدگی محاسباتی و نظریه محاسبهپذیری )قابلیت حل شدن( است رابطه ای برقرار کنیم و وابستگی میان آنها را پیدا کرده و این رابطه را در قالب یک قضیه بیان کنیم و اثباتمنطقی برای آن بیاوریم که مورد قبول خواننده قرار گیرد.
تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن Keywords:
نظریه محاسبه پذیری (قابلیت حل پذیری) - نظریه پیچیدگی محاسباتی - ماشین تورینگ- تصمیم پذیری-کلاسهای پیچیدگی NP , P
تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن authors
قادر ایمانی
دانشکده علوم ریاضی،دانشگاه شهید بهشتی،تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :