理論計算機科學- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
理論計算機科學（英語：theoretical computer science，縮寫為TCS）是計算機科學的一個分支，它主要研究有關計算的相對更抽象化，邏輯化和數學化的問題，例如計算理論，算法分析，以及程序設計語言的語義。
儘管理論計算機科學本身並非一個單獨的研究主題，從事這個領域的研究人員在電腦科學的研究者里自成一派。
根據Elesevier出版社《理論電腦科學雜誌》（Theoretical Computer Science）的解釋[1]，理論電腦科學有著數學和抽象的本質，但動機來自實踐和日常中的計算問題。
<
