TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
出版社/品牌
搜尋結果 /

雷克斯 佩奇

1
1 / 1
計算機科學的邏輯基礎(簡體書)
滿額折
出版日:2021/06/15 作者:雷克斯‧佩奇  出版社:機械工業出版社  裝訂:平裝
《計算機科學的邏輯基礎》以實際問題的求解為導向,對計算機科學的邏輯基礎知識進行了介紹、討論和歸納,實現了邏輯與計算機之間的知識貫通。 《計算機科學的邏輯基礎》主要內容包括邏輯與等式、計算機算術、算法、計算實踐四個部分,采用三種形式化表示法,即傳統的邏輯代數公式表示法、數字電路圖表示法以及ACL2表示法實現邏輯推理。 《計算機科學的邏輯基礎》不僅可以作為高等學校計算機、人工智能、大數據及相關
優惠價:87 517
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區