title: गणित
text: सैद्धान्तिक संगणक विज्ञान में काम आने वाले गणित का सामान्य नाम विविक्त गणित है। इसमें संगणन सिद्धान्त (Theory of Computation), संगणनात्मक जटिलता सिद्धान्त, तथा सैधान्तिक कम्प्यूतर विज्ञान शामिल हैं।