Bletchley Park
第二次世界大戰時盟軍有破解納粹德軍密碼的需要，帶動了密碼學和理論計算機科學的發展。英國的布萊切利園因而發明出第一部數位電子計算機——巨像電腦。與此同時，軍事上的需求亦帶動了運籌學的發展。直至冷戰時期，密碼學的地位依然重要，其後的幾十年間更發展出如公開密鑰加密等根本性的長進。隨著1950年代關鍵路徑方法的創立，運籌學則於商業和項目管理上愈趨重要。電訊工業的出現亦助長了離散數學，特別是圖論和信息論上的發展。數理邏輯上敍述的形式驗證至今已經成為安全關鍵系統的軟件開發中必不可少的一環，自動定理證明的技術也因此而提高。