علوم نظری رایانه

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

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

منابع[ویرایش]

  • Sudkamp, T. A., An Introduction to the Theory of Computer Science, Languages and Machines, 3rd ed., Pearson Education, Inc., 2006. ISBN 0-321-32221-5 [۱]