瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
繁體書
簡體書
港版書
電子書
文具/禮品
生活市集
紅利兌換商品
GO
進階搜尋
熱搜：
新基本小六法
、
買書看棒球!
、
書展書籍五折起
、
Pixar Inside Out 2
、
Haikyu!!
、
洞見：從科學到哲學
、
繁花
、
佛法是科學的終極典範
、
百年孤寂
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
繁體書
簡體書
港版書
電子書
文具/禮品
生活市集
紅利兌換商品
GO
熱搜：
新基本小六法
、
買書看棒球!
、
書展書籍五折起
、
Pixar Inside Out 2
、
Haikyu!!
、
洞見：從科學到哲學
、
繁花
、
佛法是科學的終極典範
、
百年孤寂
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
親子
文具選物
漫畫
教科考用
NEW
千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！
165反詐騙
即日起~6/30，暑期閱讀書展，好書7折起
縮小範圍
關鍵字
商品名稱
ISBN
作者
出版社/品牌
包含
排除
篩選商品
商品類型
簡體書
（1）
商品狀況
無法訂購商品
（1）
庫存狀況
無庫存
（1）
商品定價
$800以上
（1）
出版日期
2016年以前
（1）
裝訂方式
平裝
（1）
作者
中國科學院軟件所胡世華等
（1）
出版社/品牌
科學出版社
（1）
三民網路書店
/ 搜尋結果
作者：中國科學院軟件所胡世華等
篩選
模式：預設
模式：模糊
排序：相關性(高→低)
排序：相關性(低→高)
排序：出版日(新→舊)
排序：出版日(舊→新)
排序：定價(高→低)
排序：定價(低→高)
搜尋條件
作者：中國科學院軟件所胡世華等
篩選
模式：預設
模式：模糊
排序：相關性(高→低)
排序：相關性(低→高)
排序：出版日(新→舊)
排序：出版日(舊→新)
排序：定價(高→低)
排序：定價(低→高)
關鍵字
商品名稱
ISBN
作者
出版社/品牌
包含
排除
篩選商品
商品類型
簡體書（1）
商品狀況
無法訂購商品（1）
庫存狀況
無庫存（1）
商品定價
$800以上（1）
出版日期
2016年以前（1）
裝訂方式
平裝（1）
作者
中國科學院軟件所胡世華等（1）
出版社/品牌
科學出版社（1）
關閉
顯示：列表
顯示：並排
共
1
筆商品，
1
/1頁
1.
胡世華文集（簡體書）
作者：
中國科學院軟件所胡世華等
出版社：
科學出版社
出版日：
2008/05/01
裝訂：
平裝
本集內容主要有三個領域：邏輯演算、遞歸函數論、科學哲學，共收入58篇文章，1943年發表的“論人造的語言”仔細地介紹并解釋了一階謂詞演算。《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當之處作了修改，文集編進了多篇多值邏輯、遞歸函數論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關系的文章，有幾篇文章是未曾發表過
無法訂購
絕版無法訂購
共
1 筆
1 頁
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
