1. 离散数学
离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。
2. 算法分析理论
算法分析理论研究算法设计与分析中的数学方法与理论。
3. 形式语言与自动机理论
形式语言与自动机理论是用数学方法研究自然语言（如英语）和人工语言（如程序设计语言）的产生方式、一般性质和规则的理论。
4. 程序设计语言理论
程序设计语言理论研究程序设计语言的基本规律。
5. 程序设计方法学
程序设计方法学用以指导程序设计各阶段工作的原理和原则，以及依此提出的设计技术。
