計算理論 【theory of computation】用來研究計算的過程與功效的數學理論。1936年，數理邏輯專家便提出了計算模型的問題，藉以解決每個問題是否都有解。通用圖靈機影響了計算機的設計思想。計算理論主要包括算法、算法學、計算複雜性理論、可計算性理論、自動機理論和形式語言理論等。作為計算機科學的理論基礎的計算理論已經廣泛套用於科學的各個領域，程式存儲式計算模型就是以圖靈機為基礎產生的，程式設計中則使用了遞歸函式的思想，自動機作為一種基本工具被廣泛的套用在程式設計的編譯過程中。隨著科技的發展，計算理論會更多的套用於其他領域。
計算動詞理論(Computational Verb Theory)是一個新興的基礎學科，本理論側重對語言學中動詞及副詞的研究成果進行系統的數學建模和自然...
動詞理論 提出背景 發展歷程 計算動詞理論的優越性 計算動詞理論的套用地下結構的設計計算理論在許多情況下可以稱為襯砌設計計算理論。目前普遍把地下結構理解為支護和地層（圍岩）的結合體。
簡介 簡史 局限性 結構設計方法 相關資料含成交量的股價基本方程 股價變化的微分方程 模型Ⅰ：基本方程的建立
圖書信息 作者簡介 內容簡介 目錄本書總結了各種廣義的最小二乘問題的理論與計算的最新成果。主要包括最小二乘問題、總體最小二乘問題、等式約束最小二乘問題以及剛性加權最小二乘問題等的理論與科...
廣義最小二乘問題的理論和計算 參考文獻《計算理論導引 》是由Michael Sipser編著，機械工業出版社於2000年出版的書籍。
內容簡介 媒體推薦 目錄所謂超級計算理論，就是，它研究如何設計高性能的並行計算系統，如何發揮超級計算機的性能，為超級計算科學服務。超級計算理論主要包括下面三個方面的內容，即超級...
定義 關鍵技術 研究意義 展 望心靈計算理論是指用計算機隱喻來解釋心靈的理論。涉及心靈哲學和計算神經科學等相關領域。
計算理論期刊（Theory g）是一份網際網路上的開放獲取期刊，領域為計算理論專業。 期刊由芝加哥大學計算機科學系的人員主辦，2006年的編輯為拉斯洛·拔拜。
