第二次世界大战时盟军有破解纳粹德军密码的需要，带动了密码学和理论计算机科学的发展。英国的布莱切利园因而发明出第一部数位电子计算机——巨像电脑。与此同时，军事上的需求亦带动了运筹学的发展。直至冷战时期，密码学的地位依然重要，其后的几十年间更发展出如公开密钥加密等根本性的长进。随着1950年代关键路径方法的创立，运筹学则于商业和项目管理上愈趋重要。电讯工业的出现亦助长了离散数学，特别是图论和信息论上的发展。数理逻辑上敍述的形式验证至今已经成为安全关键系统的软件开发中必不可少的一环，自动定理证明的技术也因此而