| |
|
|
| |
|
|
|
|
|
|
|
ISBN |
9787519255725 |
| 定价 |
RMB89.00 |
| 售价 |
RM97.90 |
|
优惠价 |
RM68.53 * (-30%)
|
|
作者 |
（德）H.D.EBBINGHAUS
|
|
出版社 |
世界圖書出版公司北京公司
|
|
出版日期 |
2019-03-01 |
|
装订 |
平裝. 無. 289 页. 16. |
| 库存量 |
購買後立即進貨
下单时可选择“空运”或“海运”（空运和海运需独立下单）。空运费每本书/CD是RM24.00。
空运需时8-11个工作天，海运需时约30个工作天。
（以上预计时间不包括出版社调货的时间以及尚未出版的预购商品）
库存有限或需要调货，订购时间可能延长。如无法订购则将通知进行退款。 |
| |
我要订购 有现货时通知我 |
| |
放入下次购买清单 |
| |
|
| |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
| |
本書是一部難度適中的本科生數學教材。主要講述了什麼是數學證明，這些證明怎麼能夠被驗證以及電腦在多大程度上能夠執行這些數學證明。本書從一階邏輯以及它在數學基礎中的作用的講述開始，深入闡述了Trachtenbrot的不可判定性理論，基礎等值理論的Fraisse特性，以及邏輯程序設計的基礎這些經典的知識點。讀者對象：本書適用於數學、電腦科學、人工智慧和決策學等各個領域的本科生、研究生以及相關專業的研究人員。
作者：H.D. 埃賓豪斯（H.D.Ebbinghaus），是德國弗萊堡大學（Universit?t Freiburg） 數學系教授。
|
|
| |
|
|
| |
|
|
| |
|
|
| |
購買中國簡體書籍請注意：
1. 因裝幀品質及貨運條件未臻完善，中國簡體書可能有出現磨痕、凹痕、折痕等問題，故簡體字館除封面破損、內頁脫落、缺頁等較嚴重的狀態外，其餘所有商品將正常出貨。
|
|
| |
|
|
|
