理論計算機科學

理論計算機科學 ( 縮寫爲 ） 是計算機科學的一個分支 ， 它主要研究有關計算的相對更抽象化 ， 邏輯化和數學化的問題 ， 例如計算理論 ， 算法分析 ， 以及程序設計語言的語義 。 儘管理論計算機科學本身並非一個單獨的研究主題 ， 從事這個領域的研究人員在電腦科學的研究者裏自成一派 。