##### 形式科学 >[!cite] 形式科学是研究形式系统描述的抽象结构的学科, 例如逻辑, 数学, 统计学, 理论计算机科学等 - [[形式科学导论]] - [[计算理论]] - [[信息与编码]] - [[语言与编程]] - [[结构与算法]] - [[计算机理论]] - [[操作系统理论]] - [[计算机网络理论]] - [[数据库理论]]