TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!

縮小範圍


商品類型

簡體書 (4)
商品狀況

可訂購商品 (3)
無法訂購商品 (1)
庫存狀況

無庫存 (4)
商品定價

$400~$599 (3)
$800以上 (1)
出版日期

2020~2021 (2)
2016年以前 (2)
裝訂方式

平裝 (4)
作者

胡世華 (2)
中國科學院軟件所胡世華等 (1)
胡朝雲、胡世華 (1)
出版社/品牌

科學出版社 (4)

三民網路書店 / 搜尋結果

4筆商品,1/1頁
數理邏輯基礎(下)(簡體書)
滿額折
作者:胡世華  出版社:科學出版社  出版日:2021/01/22 裝訂:平裝
本書陳述數理邏輯的基礎知識,包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。《BR》 本書共六部分,分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統,並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演箅如何應用於陳述具體的數學理論,並且研究了在數學中引進定義
定價:588 元, 優惠價:87 512
海外經銷商無庫存,到貨日平均30天至45天
數理邏輯基礎(上)(簡體書)
滿額折
作者:胡世華  出版社:科學出版社  出版日:2021/01/22 裝訂:平裝
《現代數學基礎叢書·典藏版1:數理邏輯基礎(上冊)》陳述數理邏輯的基礎知識,包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。 《現代數學基礎叢書·典藏版1:數理邏輯基礎(上冊)》共六部分,分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統,並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和
定價:588 元, 優惠價:87 512
海外經銷商無庫存,到貨日平均30天至45天
四川省鐵礦成礦規律(簡體書)
滿額折
作者:胡朝雲; 胡世華  出版社:科學出版社  出版日:2015/04/01 裝訂:平裝
本書選擇對四川省11個典型鐵礦礦床式成礦規律進行了全面系統的研究和總結。重點突出了各類型鐵礦床的共同特徵、關鍵成礦地質條件,編繪了各典型鐵礦類型的成礦模式圖,進而對四川省鐵礦成礦區域成礦規律進行了更全面、系統的總結,為尋找同類型鐵礦床提供了理論基礎。
定價:414 元, 優惠價:87 360
海外經銷商無庫存,到貨日平均30天至45天
胡世華文集(簡體書)
作者:中國科學院軟件所胡世華等  出版社:科學出版社  出版日:2008/05/01 裝訂:平裝
本集內容主要有三個領域:邏輯演算、遞歸函數論、科學哲學,共收入58篇文章,1943年發表的“論人造的語言”仔細地介紹并解釋了一階謂詞演算。《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式,這次出版的是胡世華1957年講稿的原稿,只對其中明顯的文字上的不適當之處作了修改,文集編進了多篇多值邏輯、遞歸函數論的文章,還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關系的文章,有幾篇文章是未曾發表過
絕版無法訂購

暢銷榜

客服中心

收藏

會員專區