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