约 65,700 个结果
在新选项卡中打开链接
  1. 查看更多
    查看更多
    前往 Wikipedia 查看全部内容
    查看更多
    维基百科
    https://zh.wikipedia.org/zh-tw/理論計算機科學

    理論計算機科學 | 維基百科，自由的百科全書

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

    歷史

    儘管形式化算法已經存在了數千年，例如求最大公因數的歐幾里得算法至今依然在為人們所使用，但直到1936年，艾倫·圖靈，阿隆佐·邱奇和史蒂芬·科爾·克萊尼才給出了算法在計算理論中的形式化定義。早在1703年之前就有了二進 … 展开

    外部連結

    • （英文） SIGACT （頁面存檔備份，存於網際網路檔案館）
    • （英文） Usenet comp.theory 新聞群組 展开

    来自维基百科
    来自维基百科
    内容
    歷史
    外部連結
    查看所有章节
    CC-BY-SA 许可证中的维基百科文本
    反馈
  2. 维基百科
    https://zh.wikipedia.org/zh/理論計算機科學

    理論計算機科學 | 维基百科，自由的百科全书

    标记:
    理論計算機科學
    Theoretical Computer Science
  3. Wikipedia
    https://en.wikipedia.org/wiki/Theoretical_computer_science

    Theoretical computer science | Wikipedia

  4. 维基百科
    https://zh.wikipedia.org/zh-hk/计算机科学

    計算機科學 - 維基百科，自由的百科全書 | zh.wikipedia.org

  5. Wikiwand
    https://www.wikiwand.com/zh-hant/articles/理论计算机科学

    理論計算機科學 | Wikiwand

    标记:
    理論計算機科學
    Theoretical Computer Science
  6. Wikiwand
    https://www.wikiwand.com/zh/理論計算機科學

    理論計算機科學 | Wikiwand

    标记:
    理論計算機科學
    Theoretical Computer Science
  7. 其他用户还问了以下问题
    《理論計算機科學》是什麼?
    《理論計算機科學》是2005年出版的圖書，作者是Mario Coppo。 關於計算和計算機械的數學理論，也稱為計算理論或計算機科學的數學基礎。 理論計算機科學主要包括：①自動機論與形式語言理論②程序理論③ 形式語義學 ④算法分析和 計算複雜性理論 。 在幾千年的數學發展史中，人們研究了各種各樣的計算，創立了許許多多的算法，但以計算或算法本身的性質為研究對象的數學理論卻是到20世紀30年代才發展起來的。 當時為了要解決數學基礎的某些理論問題，即是否有的問題不是算法可解的，數理邏輯學家提出了幾種不同的（後來證明是彼此等價的）算法定義，從而建立了算法理論（即可計算性理論）。 30年代前期，K.哥德爾和S.C.克林尼等人創立了遞歸函數論，將數論函數的算法可計算性刻劃為遞歸性。

    理論計算機科學_百度百科

    baike.baidu.hk
    什麼是理論電腦科學?
    理論電腦科學lei5 leon6 din6 nou5 fo1 hok6 （ 英文 ： theoretical computer science ），或者叫 電腦理論din6 nou5 lei5 leon6 ，係 電腦科學 當中最 抽象化 嘅子領域。 理論電腦科學嘗試了解 運算 呢樣嘢嘅 數學 性質，會用數學上用嘅方法－ 數學證明 等－嚟搵出描述運算嘅 定理 。 理論電腦科學純粹以增進人類對運算嘅了解為目的，所以係一個好理論化嘅領域，但理論電腦科學上嘅進步往往會引致按呢啲知識嚟設計嘅 電腦 能夠做更有 效率 嘅運算。

    理論電腦科學 - 維基百科，自由嘅百科全書

    zh-yue.wikipedia.org
    計算機科學是什麼?
    計算機科學包含很多分支領域；有些強調特定結果的計算，比如 電腦圖學；而有些是探討計算問題的性質，比如 計算複雜性理論；還有一些領域專注於怎樣實現計算，比如 程式語言理論 是研究描述計算的方法，而 程式設計 是應用特定的 程式語言 解決特定的計算問題， 人機互動 則是專注於怎樣使電腦和計算變得有用、好用，以及隨時隨地為 人 所用。 有時公眾會誤以為計算機科學就是解決電腦問題的事業（比如 資訊科技），或者只是與使用電腦的經驗有關，如玩遊戲、上網或者文書處理。 其實計算機科學所關注的，不僅僅是去理解實現類似遊戲、瀏覽器這些軟件的程式的性質，更要通過現有的知識創造新的程式或者改進已有的程式。 [9]

    計算機科學 - 維基百科，自由的百科全書

    zh.wikipedia.org
    什麼是計算複雜性理論?
    計算複雜性理論原是可計算理論的一支，是以各種 可計算函數 (即 遞歸函數 )的計算複雜性（在早期稱作“計算難度”）為其研究對象的。 可計算性分為理論可計算性和實際可計算性兩種。 作為 可計算性理論 一支的計算複雜性理論，是以前者的複雜程度為其研究對象的；而作為計算機科學一個領域的複雜性理論，則是以後者的複雜程度為其研究對象的。

    理論計算機科學_百度百科

    baike.baidu.hk
    反馈
  8. ウィキペディア
    https://ja.wikipedia.org/wiki/理論計算機科学

    理論計算機科学 | Wikipedia

  9. 百度百科
    https://baike.baidu.hk/item/理論計算機科學

    理論計算機科學 | 百度百科

  10. wikipedia.org
    https://zh-yue.wikipedia.org/wiki/理論電腦科學

    理論電腦科學 | 維基百科，自由嘅百科全書

  11. 中文百科全書
    https://www.newton.com.tw/wiki/理論計算機科學

    理論計算機科學:學科的產生,學科內容,形式語言理論,程式設計理論, …