TOP
0
0
進階搜尋

熱搜：

黃仁勳傳預購

、

職業棒球 第514期

、

太陽底下無難事

、

銀髮川柳

、

公務員每月一書

、

三民年度暢銷TOP100

、

Excel自學聖經

、

制度基因

、

曬書祭

、

年夜飯

、

勝天半子

、

國色芳華

、

美債

熱搜： 黃仁勳傳預購、 職業棒球 第514期、 太陽底下無難事、 銀髮川柳、 公務員每月一書、 三民年度暢銷TOP100、 Excel自學聖經、 制度基因、 曬書祭、 年夜飯、 勝天半子、 國色芳華、 美債

165反詐騙

2025新年快樂！買書領券省荷包

縮小範圍

商品類型
簡體書 （4）
商品狀況
可訂購商品 （3）
無法訂購商品 （1）
庫存狀況
有庫存 （1）
無庫存 （3）
商品定價
$400~$599 （3）
$800以上 （1）
出版日期
2021~2022 （2）
2017年以前 （2）
裝訂方式
平裝 （4）
作者
中國科學院軟件所胡世華等 （1）
胡世華 （1）
胡世華、陸鐘萬 （1）
胡朝雲、胡世華 （1）
出版社/品牌
科學出版社 （4）

三民網路書店 / 搜尋結果

共4筆商品，1/1頁
數理邏輯基礎(上)（簡體書）
滿額折
1.

數理邏輯基礎(上)（簡體書）

作者：胡世華; 陸鐘萬  出版社：科學出版社  出版日：2021/01/22 裝訂：平裝
《現代數學基礎叢書·典藏版1：數理邏輯基礎（上冊）》陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎。 《現代數學基礎叢書·典藏版1：數理邏輯基礎（上冊）》共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統，並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和
庫存：1
定價：588 元， 優惠價：87 512
數理邏輯基礎(下)（簡體書）
2.

數理邏輯基礎(下)（簡體書）

作者：胡世華  出版社：科學出版社  出版日：2021/01/22 裝訂：平裝
本書陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。《BR》 本書共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統，並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演箅如何應用於陳述具體的數學理論，並且研究了在數學中引進定義
缺貨無法訂購
到貨時通知我
四川省鐵礦成礦規律（簡體書）
滿額折
3.

四川省鐵礦成礦規律（簡體書）

作者：胡朝雲; 胡世華  出版社：科學出版社  出版日：2015/04/01 裝訂：平裝
本書選擇對四川省11個典型鐵礦礦床式成礦規律進行了全面系統的研究和總結。重點突出了各類型鐵礦床的共同特徵、關鍵成礦地質條件，編繪了各典型鐵礦類型的成礦模式圖，進而對四川省鐵礦成礦區域成礦規律進行了更全面、系統的總結，為尋找同類型鐵礦床提供了理論基礎。
海外經銷商無庫存，到貨日平均30天至45天
定價：414 元， 優惠價：87 360
胡世華文集（簡體書）
4.

胡世華文集（簡體書）

作者：中國科學院軟件所胡世華等  出版社：科學出版社  出版日：2008/05/01 裝訂：平裝
本集內容主要有三個領域：邏輯演算、遞歸函數論、科學哲學，共收入58篇文章，1943年發表的“論人造的語言”仔細地介紹并解釋了一階謂詞演算。《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當之處作了修改，文集編進了多篇多值邏輯、遞歸函數論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關系的文章，有幾篇文章是未曾發表過
絕版無法訂購
無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品