计算机理论学，也称为计算理论或计算机科学的数学基础，是计算机科学的一门基础学科。它主要研究计算和计算机械的性质，包括以下几个方面：
自动机论与形式语言理论：
研究计算模型和计算过程的形式化描述，包括有限状态自动机、正则表达式、上下文无关文法等。
程序理论：
研究程序的性质、结构和行为，包括程序语言、编译原理、程序验证和程序优化等。
形式语义学：
研究程序语言和计算模型的意义，包括模型论语义学、指称语义学、操作语义学等。
算法分析和计算复杂性理论：
研究算法的正确性、效率和可行性，包括时间复杂度、空间复杂度、可计算性理论等。
计算机理论的目标是提高计算机系统的性能、可靠性和安全性，推动计算机科学技术的发展和应用。它涉及计算机的设计、分析和实现等方面，是计算机科学的基石。
建议：
学习计算机理论学需要具备扎实的数学基础，包括离散数学、线性代数、概率论与数理统计等。
计算机理论学不仅是理论性的研究，还与实际应用紧密相关，如网络安全、图形图像学、视频音频处理等领域。
可以通过阅读相关教材、参加课程和研讨会等方式来深入学习计算机理论学。