數學的一門分科。主要研究計算方法、數理邏輯和程序設計等方面的問題。20世紀中期以后，高速大容量電子計算機的飛速發展，大大豐富了{1}的研究內容。