(英)J.M.布雷迪(J.M.Brady)著;陸佑珊…
本書從程序設(shè)計的角度討論了計算機(jī)科學(xué)理論,描述了計算機(jī)科學(xué)理論的主要問題…
王元元編著
1989年科學(xué)出版社出版了《計算機(jī)科學(xué)中的邏輯學(xué)》,該書于1992年獲國家優(yōu)秀教…
可購
(美)P.K.拉拉(Parag K.Lala)著;孟永炎…
本書全面地論述了數(shù)字系統(tǒng)的可靠性的基本概念和故障診斷及容錯技術(shù)方面的基本…
施伯樂等編著
本書介紹數(shù)制、開關(guān)代數(shù)、數(shù)論、數(shù)理邏輯、集合論、遞歸、概率論、圖論、形式…
廣東省《計算機(jī)應(yīng)用基礎(chǔ)》編寫組編
本書是根據(jù)國家教委一九八七年三月頒發(fā)的中等專業(yè)學(xué)?!队嬎銠C(jī)應(yīng)用基礎(chǔ)》數(shù)學(xué)…
可購
(美)M.D.戴維斯(Martin D.Davis),(美…
本書全面、系統(tǒng)地闡述了理論計算機(jī)科學(xué)的主要分支,包括可計算性理論、文法和…
傅佩琛等編著
本書包括可靠性的基本概念及數(shù)量特征;數(shù)學(xué)模型與分析;檢錯和糾錯碼理論與應(yīng)…