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

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

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

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

  • 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 [۱]