థియరిటికల్ కంప్యూటర్ సైన్స్ అనేది గణితం మరియు సాధారణ కంప్యూటర్ సైన్స్ యొక్క ఉపసమితి, ఇది గణన సిద్ధాంతాలను కలిగి ఉన్న గణిత అంశాల కంప్యూటింగ్తో వ్యవహరిస్తుంది. సైద్ధాంతిక కంప్యూటర్ సైన్స్ గణన సంక్లిష్టత, అల్గోరిథంలు, సంభావ్య గణన, ఆటోమేటా సిద్ధాంతం, క్రిప్టోగ్రఫీ మరియు గణన సంఖ్య సిద్ధాంతం వంటి విస్తృత శ్రేణి అంశాలను కవర్ చేస్తుంది.