علوم نظری رایانه: تفاوت میان نسخه‌ها

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