تحلیل نظریه محاسبات با هدف ارایه ارتباطی بین شاخه های آن
محل انتشار: همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 895
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSITM01_011
تاریخ نمایه سازی: 10 شهریور 1393
چکیده مقاله:
علم رایانه موضوعات متنوعی از مطالعات نظری روی الگوریتم ها و محدودیت محاسبات را شامل می شود یکی از موضوعات نظری علوم رایانهمطالعات کلاسیک محاسبه است. ریشه های تاریخی نظریه محاسبات را می توان در کارهای منطق دانان بزرگ جستجو کرد. امروزه نظریهمحاسبات از شاخه های بنیادی در منطق ریاضی و علوم نظری کامپیوتر محسوب می شود و در مطالعه مبانی ریاضی و همچنین تئوریالگوریتم ها و پیچیدگی محاسبه و بسیاری از مسائل تحقیقاتی در ریاضیات وعلوم کامپیوتر نقش اساسی دارد.در این مقاله سعی شده است که نظریه محاسبات یا تئوری محاسبات که بخش کوچکی از علم نظری رایانه است را مورد مطالعه قرار داده و بهتبیین و تعریف نظریه محاسبات و شاخه های عمده آن بپردازیم. دراین نوشته چیزی که در خور توجه است بینش جدیدی است که روینظریه محاسبات صورت گرفته و سعی شده بین شاخه های عمده نظریه محاسبات که شامل نظریه پیچیدگی محاسباتی و نظریه محاسبهپذیری )قابلیت حل شدن( است رابطه ای برقرار کنیم و وابستگی میان آنها را پیدا کرده و این رابطه را در قالب یک قضیه بیان کنیم و اثباتمنطقی برای آن بیاوریم که مورد قبول خواننده قرار گیرد.
کلیدواژه ها:
نظریه محاسبه پذیری (قابلیت حل پذیری) - نظریه پیچیدگی محاسباتی - ماشین تورینگ- تصمیم پذیری-کلاسهای پیچیدگی NP ، P
نویسندگان
قادر ایمانی
دانشکده علوم ریاضی،دانشگاه شهید بهشتی،تهران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :