TOP
0
0
進階搜尋

熱搜：

從經濟發展到民主

、

巨人思維

、

艾莉絲‧孟若

、

老公怎麼還不去死

、

我36歲就退休

、

理想的讀本

、

法律與人生(鄰居篇)

、

Monkey King

、

永續發展相關規範與實務

、

為妳煮食

、

新基本小六法

熱搜： 從經濟發展到民主、 巨人思維、 艾莉絲‧孟若、 老公怎麼還不去死、 我36歲就退休、 理想的讀本、 法律與人生(鄰居篇)、 Monkey King、 永續發展相關規範與實務、 為妳煮食、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！
提醒您！您有折價券未完成領取，請盡速登入以保存至您的帳號。

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$400~$599 （1）
出版日期
2024年 （1）
裝訂方式
精裝 （1）
作者
昂揚 編著 林勝強、李晟 修訂 （1）
出版社/品牌
上海人民出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
數理邏輯的思想和方法（簡體書）
滿額折
1.

數理邏輯的思想和方法（簡體書）

作者：昂揚 編著 林勝強; 李晟 修訂  出版社：上海人民出版社  出版日：2024/03/01 裝訂：精裝
先有思想的形式化還是先有形式化的思想？思想的形式化重要還是形式化的思想重要？本書將系統闡述從萊布尼茨到哥德爾的數理邏輯的思想和方法：不僅構造命題邏輯、謂詞邏輯的公理系統、自然推理系統以及系統內定理的操作規則和技巧等思想的形式化方法，同時也進一步探討這些形式化方法所包含的生動活潑的思想（這是本書的鮮明特色），便於人們“徜徉”數理邏輯“秀山麗水”的本質與全貌。本書避免使用過於複雜和煩瑣的數學證明和推導，通過本書，讀者會瞭解到不太一樣的數理邏輯和邏輯哲學。
定價：588 元， 優惠價：87 512
海外經銷商無庫存，到貨日平均30天至45天
  • 共

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