सैद्धांतिक कंप्यूटर विज्ञान कंप्यूटर विज्ञान का एक प्रभाग है जो कंप्यूटिंग के सार, गणितीय पहलुओं पर केंद्रित है। इसमें शामिल है:

अनौपचारिक रूप से, सैद्धांतिक कंप्यूटर विज्ञान का जन्म 1936 में हुआ जब एलन ट्यूरिंग, अलोंजो चर्च और स्टीफन क्लेन औपचारिक रूप से परिभाषित एल्गोरिदम गणना के संदर्भ में हैं। वर्तमान समय में, यह क्वांटम कंप्यूटरों के साथ भारी व्यवहार करता है, जो एक कण की तरंग पर गणितीय गणना करते हैं।

कंप्यूटर विज्ञान, प्रोग्रामिंग शर्तें