从选定的公理及定义中建立起严谨推导出的定理。
计算理论.为了对计算进行严谨的研究，电脑科学家会将计算以数学的方式抽象化，称为计算模型。
资讯理论.自创立以来，它已拓展应用到许多其他领域，包括统计推断、自然语言处理、密码学、神经生物学、进化论和分子编码的功能、生态学的模式选择、热物理、量子计算、语言学、剽窃检测、模式识别、异常检测和其他形式的数据分析。
统计学.统计学是在资料分析的基础上，研究如何测定、收集、整理、归纳和分析反映数据资