計(jì)算機(jī)科學(xué)技術(shù)百科全書

內(nèi)容概要

本書根據(jù)計(jì)算機(jī)學(xué)科的內(nèi)在聯(lián)系、相關(guān)程度與性質(zhì)特點(diǎn)，劃分為“計(jì)算機(jī)科學(xué)理論”、“計(jì)算機(jī)組織與體系結(jié)構(gòu)”、“計(jì)算機(jī)硬件”、“計(jì)算機(jī)應(yīng)用技術(shù)”和“人工智能”6大分支，按4級(jí)框架，共設(shè)置1293個(gè)條目200多萬(wàn)字。

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    計(jì)算機(jī)科學(xué)技術(shù)百科全書 PDF格式下載

---