目錄
計算機科學技術總論
條目分類目錄
正文
條目漢語音序索引
INIDEXOF ARTICLES（條目外文索引）
內容索引
附錄I 縮略語
附錄Ⅱ 計算機及相關學科科技期刊
附錄Ⅲ 計算機及相關學科學術團體
彩色插頁
迴歸分析法
排隊論
參數估計
假設檢驗
離散數學
集閤論
集閤
集閤運算
映射
關係
序數
基數
邏輯學
數理邏輯
命題邏輯
一階邏輯
高階邏輯
哥德爾完全性定理
模型論
霍恩邏輯
多值邏輯
模糊邏輯
模態邏輯
時態邏輯
綫性邏輯
組閤邏輯
非單調邏輯
直覺主義邏輯
代數學
抽象代數
群
環
域
格
完全偏序
布爾代數
多類代數
關係代數
（基調）代數
計算機代數
範疇論
圖論
有嚮圖
無嚮圖
樹
平麵圖
最短路徑問題
中國郵路問題
計算數論
素數
篩法
素性測試
最大公因子
因子分解
同餘
孫子定理
組閤學
密碼學
計算理論
算法
並行算法
概率算法
組閤算法
排序算法
VLSI算法
脈動算法
算法學
算法設計
計算復雜性理論
復雜性度量
時間復雜性
空間復雜性
復雜性歸約
圖靈歸約
多項式時間歸約
多項式空間歸約
多項式譜係
NP完全性理論
P類問題
NP類問題
NP完全問題
NP完全問題近似方法
可計算性理論
可計算函數
原始遞歸函數
哥德爾配數
遞歸函數
阿剋曼函數
可判定問題
不可判定問題
停機問題
波斯特對應問題
自動機理論
有限自動機
下推自動機
綫性有界自動機
圖靈機
波斯特機
隨機存取機
堆棧自動機
有限自動機
概率自動機
細胞自動機
形式語言理論
喬姆斯基層次
文法
正則文法
上下文無關文法
上下文有關文法
短語結構文法
巴剋斯範式
正則錶達式
綫性文法
喬姆斯基範式
格雷貝奇範式
LR（k）文法
屬性文法
佩特裏網論
程序理論
形式語義
操作語義
指稱語義
公理語義
代數語義
論域理論
λ演算
類型理論
馬丁洛夫類型理論
多態類型
並發模型
進程代數
通信係統演算
通信順序進程
程序邏輯
混閤計算模型
混閤自動機
時段演算
程序驗證
計算機組織與體係結構
電子計算機
數字計算機
模擬計算機
混閤計算機
數字微分分析機
計算機類型
微型計算機
微處理器
位片計算機
單片計算機
數字信號處理器
移動式計算機
筆記本計算機
工作站
圖形工作站
小型計算機
超級小型計算機
大型計算機
巨型計算機
小巨型計算機
嵌入式計算機
服務器
數據庫服務器
因特網服務器
過程控製計算機
容錯計算機
抗惡劣環境計算機
綠色計算機
非傳統計算機
數據流計算機
歸約機
LISP機
邏輯推理機
日本第五代計算機
數據庫機
知識庫機
神經計算機
光計算機
生物計算
量子計算
計算機組織
計算機運算基礎
數製
浮點數標準
字符集
算術邏輯運算
二進製算術運算（binaryary　arithmetic　operation）
邏輯運算
指令係統
指令類型
指令格式
尋址方式
中央處理器
運算器
硬連綫控製器
微程序控製器
數據通路
機器周期
時序係統
中斷
存儲器組織
存儲器類型
主存儲器
輔助存儲器
交錯存儲器
存儲器差錯校驗
存儲器性能
輸入輸齣技術
係統總綫
總綫標準
輸入輸齣通道
輸入輸齣接口
數據傳送
直接存儲器存
假脫機
模數轉換
數模轉換
終端
計算機係統結構
處理機體係結構
復雜指令集計算機
精簡指令集計算機
計算機流水綫
多發射結構
指令級並行處理
協處理器
關聯處理機
脈動陣列
存儲係統
存儲管理
存儲保護
高速緩衝存儲器
高速緩衝存儲器一緻性
虛擬存儲器
轉換檢測緩衝器
聯想存儲器
轉移目標緩衝器
先進先齣緩衝器
並行處理係統
陣列處理機
大規模並行處理
硬件同步機製
互聯網
多處理機係統總綫
係統總綫仲裁器
共享存儲
共享虛擬存儲
分布式共享存儲
消息傳遞
路由選擇
並行處理係統加速比
處理機利用率
分布式處理係統
客戶－服務器計算
計算機簇
分布式異構型計算機係統
分布式計算環境
分布式數據庫
計算機支持協同工作
開放係統
係統兼容性
計算機網絡
網絡體係結構
OSI網絡體係結構
網絡協議
局域網協議標準
廣域網協議標準
TCP/IP協議
TCP/IP）
MAP/TOP協議
點對點連接協議
協議工程
網絡分類
局域網
以太網
權標總綫網
權標環網
光縴分布式數據接口
專用交換分機
城域網
交換式多兆位數據業務
廣域網
公用交換電話網
租用綫路網
公用數據網
綜閤業務數字網
幀中繼
異步傳送模式
網絡互連技術
網絡互連設備
中繼器
網橋
路由器
網關
網絡互連協議
網絡管理
感知器
反傳學習
Hopfield神經網絡模型
玻耳茲曼機
適應諧振理論
自組織映射模型
聯想記憶
小腦網絡模型
· · · · · · (收起)