TOP
0
0
進階搜尋

熱搜：

Meow

、

她們何以不同（簡體書）

、

故宮月曆

、

走向馬克思主義史學之路

、

推薦電子書

、

限時優惠99元

、

洞見

、

我的孩子是霸凌者

、

Biology

、

Maisy (降臨曆)

、

新基本小六法

熱搜： Meow、 她們何以不同（簡體書）、 故宮月曆、 走向馬克思主義史學之路、 推薦電子書、 限時優惠99元、 洞見、 我的孩子是霸凌者、 Biology、 Maisy (降臨曆)、 新基本小六法

165反詐騙

三民出版．新書搶先報｜最速、最優惠的新鮮貨報給你知！

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$800以上 （1）
出版日期
2020~2021 （1）
裝訂方式
平裝 （1）
作者
(英)D. M. 加貝 （1）
出版社/品牌
科學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
應用邏輯中的數學問題（簡體書）
1.

應用邏輯中的數學問題（簡體書）

作者：(英)D. M. 加貝  出版社：科學出版社  出版日：2020/12/08 裝訂：平裝
《應用邏輯中的數學問題》圍繞“邏輯學中最重要、最突出、最緊迫的問題是什麼”這一個主題展開，內容分上、下兩篇，共13 章。上篇內容涉及描述邏輯中的非標準推理、可證邏輯中的問題與邏輯動態中的開放問題、可計算性理論、邏輯學的發展、邏輯與認知科學、中世紀的阿拉伯語義、應用邏輯與其他學科發展之間的關係等。下篇內容涉及可證邏輯與證明邏輯、可計算性理論的研究動機與發展方向、可計算模型、相對論的一階邏輯基礎、數理
缺貨無法訂購
到貨時通知我
  • 共

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