相關詞條
-
理論計算機科學
關於計算和計算機械的數學理論，也稱為計算理論或計算機科學的數學基礎。理論計算機科學主要包括：①自動機論與形式語言理論②程式理論③形式語義學④算法分析和計...
學科的產生 學科內容 -
計算機
電子計算機（electronic computer），通稱電腦，是計算機（computer）用途和數量都較廣的一種，是現代的一種利用電子技術和相關原理根...
計算機套用領域 歷史 原理 計算機的數字電路實現 輸入輸出設備 -
計算機導論：理論篇
計算機的類型與發展 計算機的類型 計算機黑客的概念
圖書信息 內容簡介 目錄 -
計算機科學
計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科，從抽象的算法分析、形式化語法等等，到更具體的主題如程式語言、程式設計、軟體和硬體等。作為...
簡介 研究領域 研究課題 相關獎項 統分類 -
計算複雜性理論[理論計算機科學分支學科]
計算複雜性理論（Computational complexity theory）是理論計算機科學和數學的一個分支，它致力於將可計算問題根據它們本身的複雜...
簡介 歷史 基本概念和工具 NP與P關係問題及相關理論 理論與實踐 -
華東師範大學計算機理論研究所
華東師範大學計算機理論研究所於2017年6月由計算機科學與軟體工程學院陳勇教授團隊建設。目前研究所主要圍繞非線性科學智慧型化、計算機符號計算和計算機科學理論開展研究，凝聚了多名高水平人才（擁有國家傑青、上海市青年科技...
-
清華大學理論計算機科學聯合研究中心
研究中心-簡介清華大學理論計算機科學聯合研究中心依託：清華大學- “理論計算機科學研究中心”清華大學理論計算機科學聯合研究中心是MIT在中國成立的第一個...
研究中心-簡介 研究中心-領域 研究中心-組成 研究中心-揭牌 研究中心-主任 -
2012年全國理論計算機科學學術年會
（2）計算理論（算法設計與分析、複雜性理論、可計算性理論、量子計算、生物計算、社會計算等） （3）語言理論（形式語言理論、自動機理論、形式語義學、計算語...
-
計算機控制系統理論與設計
中國紡織出版社2013年10月1日出版的，主編是王東雲，副主編是王海泉、王璦琿。
基本介紹 圖書目錄 序言 -
計算機控制系統理論與套用
《計算機控制系統理論與套用》，作者是 徐建軍 ，由 機械工業 出版社於 2008 年出版。描述的是本書系統介紹了計算機控制系統的理論及套用，包括計算機控...
內容提要 目錄
