सैद्धांतिक कंप्यूटर विज्ञान गणित और सामान्य कंप्यूटर विज्ञान का एक उपसमूह है जो गणितीय विषयों की गणना से संबंधित है जिसमें गणना के सिद्धांत शामिल हैं। सैद्धांतिक कंप्यूटर विज्ञान में कम्प्यूटेशनल जटिलता, एल्गोरिदम, संभाव्य संगणना, ऑटोमेटा सिद्धांत, क्रिप्टोग्राफी और कम्प्यूटेशनल संख्या सिद्धांत जैसे विषयों की विस्तृत श्रृंखला शामिल है।