TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
商品定價
搜尋結果 /

test pattern generation using boolean proof engines

6
1 / 1
Transition to Analysis With Proof
90 折
出版日:2017/11/10 作者:Steven G. Krantz  出版社:Chapman & Hall  裝訂:平裝
Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Transition to Analysis With Proof
90 折
出版日:2017/11/10 作者:Steven G. Krantz  出版社:Chapman & Hall  裝訂:精裝
Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Proof Is in the Pudding ― The Changing Nature of Mathematical Proof
滿額折
出版日:2016/08/23 作者:Steven G. Krantz  出版社:Springer Verlag  裝訂:平裝
This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Tho
優惠價: 1 1900
無庫存
出版日:2012/10/23 作者:Steven G. Krantz  出版社:Springer Verlag  裝訂:平裝
Logic is, and should be, the core subject area of modern mathemat- ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the su
優惠價: 1 3998
無庫存
出版日:2011/03/10 作者:Steven G. Krantz  出版社:Springer Verlag  裝訂:精裝
This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Th
優惠價: 1 2500
無庫存
出版日:2002/01/01 作者:Steven G. Krantz  出版社:Birkhauser  裝訂:精裝
Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessib
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 6
    1

暢銷榜

客服中心

收藏

會員專區