发展。数理逻辑上敍述的形式验证至今已经成为安全关键系统的软件开发中必不可少的一环，自动定理证明的技术也因此而提高。当今，理论计算机科学中最着名的开放问题之一是P/NP问题，P/NP问题中包含了复杂度类P与NP的关系。克雷数学研究所为此及其他6个千禧年大奖难题的第一个正确证明各悬赏100万美元。
离散数学的主题.离散数学包含几个不同的主题，列举如下：
数理逻辑.逻辑是对有效推理和推理原则，及其连续性、合理性和完整性的研究。举一个简单的例子：在大多数逻辑系