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