अभिकलन सिद्धांत का गठन करने वाले तत्वों की व्यापक जांच में औपचारिक शब्दार्थ विज्ञान और गणितीय तर्क शामिल हो सकता है और इसमें कुछ विषयों के सैद्धांतिक पहलू भी शामिल हो सकते हैं जैसे समानांतर परिकलन, न्यूरल नेटवर्क और क्वांटम अभिकलन.

(इस क्षेत्र में कई पाठ्यपुस्तकें हैं, यह सूची आवश्यकता से अधूरी है।)



जटिलता सिद्धांत
कंप्यूटिंग का सैद्धांतिक आधार
इन्हें भी देखें
अभिकलन की अन्य औपचारिक परिभाषा