理论计算机科学主要涵盖以下课程：
自动机论与形式语言理论：
研究计算模型和计算过程的形式化描述。
程序理论：
探讨程序的性质、结构和行为。
形式语义学：
研究程序语言的意义和解释。
算法分析和计算复杂性理论：
分析算法的效率和计算问题的难度。
此外，大学计算机专业的核心课程通常包括：
公共基础课：
如英语、高等数学、线性代数等。
计算机基础课：
如计算机组成原理、操作系统、数据结构与算法、计算机网络等。
编程相关课程：
如C语言程序设计、C++面向对象设计、Java、Python等编程语言课程，以及数据库原理、WEB编程等。
建议在学习过程中，尽早确定一门主要编程语言，并辅修其他语言，以便更深入地掌握编程技能。同时，重视数学和英语课程，为后续的研究生学习和职业发展打下坚实基础。