TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
出版社/品牌
1
1 / 1
計算理論與符號邏輯(簡體書)
滿額折
出版日:2011/10/01 作者:張興元  出版社:科學出版社  裝訂:平裝
《計算理論與符號邏輯》對計算理論和數理邏輯中一組最為基本的問題和重要概念進行詳細介紹,以boolos等的經典教材computability and logic為出發點,從教學效果出發,對內容做了簡化和充實,《計算理論與符號邏輯》注重體現數理邏輯在計算機科學研究中的應用,強調直觀感受與理論分析相結合,對定義、定理的引入進行了精心設計,采用了易于理解的證明體例,重要章節之後都有小結,力圖引導讀者超越技
優惠價:87 177
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區