तो, गणित के कई क्षेत्र हैं जो सीएस विज्ञान के लिए प्रासंगिक हैं, लेकिन विशेष रूप से प्रोग्रामिंग के लिए:
ग्राफ सिद्धांत : यह एक बड़ा है। ग्राफ और पेड़ हर जगह हैं। नेटवर्क, मानचित्र, वीडियो गेम में पथ। यहां तक कि रूबिक्स क्यूब को हल करने जैसी चीजों को ग्राफ एल्गोरिथ्म के रूप में तैयार किया जा सकता है और ए * के साथ हल किया जा सकता है।
असतत गणित : ग्राफ सिद्धांत से हटकर, सामान्य रूप से इस क्षेत्र को जानना मददगार है। यह प्रेरण द्वारा सबूतों से भरा है, जो पुनरावृत्ति को समझने के लिए बहुत उपयोगी हैं, जो प्रोग्रामिंग में बहुत उपयोगी है, विशेष रूप से डेटा संरचनाओं के साथ। सेट्स, काउंटिंग, इनक्लूजन-एक्सक्लूज़न, बूलियन लॉजिक आदि के बारे में जानना एक समय में एक बार काम आ सकता है।
टाइप थ्योरी: अनिश्चित रूप से, टाइप थ्योरी जानने से टाइप की गई भाषाओं में प्रोग्रामिंग को समझने में मदद मिलती है, और अधिक मोटे तौर पर, कुछ शुद्धता गुणों को सुनिश्चित करने के तरीके के रूप में उपयोग करने के साथ। उप-सिद्धांत के बारे में जानने से आपको जावा जैसी भाषाओं में सहसंयोजक और विरोधाभासी समझने में मदद मिलती है। पैरासिटिक बहुरूपता जैसी चीजों के बारे में जानना स्पष्ट रूप से सहायक होता है जब हास्केल या पर्सीस्क्रिप्ट जैसी एक प्रकार की भारी भाषा सीखते हैं, लेकिन लालागू जैसे स्काला, टाइपस्क्रिप्ट, और जंग उद्योग में अधिक प्रचलित हो रहे हैं, और उनके कोर पर प्रकार हैं।
यदि आप इसे अपने चरम पर ले जाते हैं, तो आपको Coq और Agda और Idris जैसी चीजें मिलती हैं, जिनका उपयोग कार्यक्रमों के बारे में बेहद सटीक शुद्धता गुण साबित करने के लिए किया जा सकता है।
कम्प्यूटेबिलिटी और कॉम्प्लेक्सिटी थ्योरी : यह जानना कि जब कोई समस्या या तो बेकार है, या एनपी-हार्ड, उपयोगी है, क्योंकि आप इसे करने के लिए एक तेज़ तरीके से अपने दिमाग को बर्बाद करने में घंटों बर्बाद नहीं करेंगे। इसी तरह, अनुमानित एल्गोरिदम, नियत-पैरामीटर ट्रैक्टबिलिटी, या लो-बेस एक्सपोनेंशियल एल्गोरिदम के पीछे के कुछ सिद्धांत को जानना, तब मदद कर सकता है जब आपको एनपी-हार्ड समस्या को हल करने की आवश्यकता होती है।
ऑटोमेटा सिद्धांत: कई समस्याओं को विभिन्न राज्य मशीनों के साथ मॉडल किया जा सकता है, इसलिए उनके गुणों को समझना उपयोगी है।