理論計算機科學的技術定義是什麼？包含哪些子字段？

理論計算機科學的技術定義是什麼？（或者，它應該是什麼？）理論計算機科學的技術定義是什麼？包含哪些子字段？

它包括哪些主要子字段，以及將它們與其他計算機科學區分開來的共同點是什麼？更具體地說：如果某些特定的研究具有直接的實際動機，目標和結果，但主要涉及非常抽象的方法，那麼它是否是理論計算機科學？

兩個例子來考慮：

「爲剛體變換混合雙四元數」（旋轉更好的數學表達和轉換動畫） https://www.cs.tcd.ie/publications/tech-reports/reports.06/TCD-CS-2006-46.pdf

「關係語義基於效果程序轉換與動態分配「（通過指稱語義進行編譯器優化）：http://research.microsoft.com/pubs/67977/ppdprelational.pdf

[維基百科文章只給出了一個模糊的定義和一長串子字段。應該接受的是，沒有比這更好的定義了嗎？ http://en.wikipedia.org/wiki/Theoretical_computer_science]

編輯：我想這個問題歸結爲「在計算機科學中，術語」理論「是什麼意思？」。看看wiktionary這個詞的6個不同的含義，我不認爲它們中的任何一個完全適合。我認爲理論的數學意義適合完全數學領域，但不適用於其他領域，對於VLSI，機器學習和計算生物學從wikipedia:TCS基本上不適合。

來源

2010-08-07 RD1

我認爲將理論與應用程序區分開來的最簡單方法是查看該領域的計算機定義。如果該領域的工作基於假設計算機是一個物理對象或系統，那麼這可能是應用程序。另一方面，如果該領域的工作基於假設計算機是一個抽象的（通常是數學的）對象，那麼這可能是理論。所以，當你決定是否說你是理論計算機科學家時，我想你只需要問自己，「什麼是電腦？」

（對我來說，這絕對是一個抽象的對象）

來源

2010-11-12 23:04:31

此鏈接包含一個子字段列表：http://arxiv.org/corr/home，我不會在這裏再現它們，因爲鏈接可能會更改，並且這將是多餘的。

而且，我想起別人的報價，不記得是誰，沿着線：

數學是什麼數學家做

它似乎適用。

來源

2010-08-07 07:29:49

那些似乎一般的計算機科學的子領域。我正在具體詢問理論計算機科學。哪些在TCS？ – RD1 2010-08-07 07:36:42

@ RD1：你真的沒有能力確定你自己嗎？ – 2010-08-07 07:40:00

我可以用我希望得到某些協議的方式對其中的大部分進行分類。我最不確定的是：數據結構和算法;計算機科學與博弈論;密碼和安全;編程語言。我想這些我會把它們歸類爲包括一些TCS，而不是一些。當我將我的列表與維基百科列表進行比較時，他們並不一致，所以我提出了一些建議。總的來說，我不覺得我知道爲什麼有些字段是TCS，而其他字段不是。許多人把我歸類爲理論計算機科學家，但我聲稱我不是 - 我有權這樣做嗎？ – RD1 2010-08-07 08:09:17

理論計算機科學的技術定義是什麼？包含哪些子字段？

回答

相關問題