सैद्धांतिक संगणन विज्ञानात वापरली जाणाऱ्याया गणिताच्या शाखांना सामान्यतः विसंधी गणित असे म्हणतात. यात गणनीय सिद्धान्त, गणकेय क्लिष्टता सिद्धान्त आणि माहिती सिद्धान्त यांचा समावेश होतो. गणनीय सिद्धान्तात संगणकाच्या विविध सैद्धांतिक प्रारूपांच्या मर्यादांचा अभ्यास होतो. त्यात सुप्रसिद्ध ट्युरिंग यंत्राचाही समावेश आहे. क्लिष्टता सिद्धान्तात संगणकाधिष्ठित सारण्यांचा अभ्यास होतो. काही समस्या सैद्धांतिक दृष्टीने जरी संगणकाच्या मदतीने सोडवता येत असल्या तरी कालावकाशाच्या दृष्टीने इतक्या महागड्या असतात की संगणकाच्या समूर्तकाची कितीही वेगवान प्रगती झाली तरी त्या सोडवणे अव्यावहारिक ठरते. याचाच संबंध संगणकाधिष्ठित सारण्यांशी असतो. माहिती सिद्धान्ताचा विषय दिलेल्या माध्यमावर किती विदा साठवता येईल याच्याशी संबंधित असल्याने त्यांत संकोच आणि ज्ञंकाचा समावेश होतो.

तौलनिक दृष्ट्या नवीन शाखा असूनही माहिती सिद्धान्तात काही न सुटलेल्या मूलभूत समस्या आहेत. यांत प्रामुख्याने, जी सहस्त्रक पारितोषिक समस्यांपैकी एक आहे अशी P=NP? ही सुप्रसिद्ध समस्या येते

सामान्य गैरसमज
संरचना
विसंधी गणित
बदल