TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

快速存到一桶金

、

雷驤

、

佛法是科學的終極典範

、

錢買不到的東西

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

熱搜： 漫畫少年學墨菲定律、 電影與文化冷戰、 快速存到一桶金、 雷驤、 佛法是科學的終極典範、 錢買不到的東西、 新譯六祖壇經、 DragonMasters 1-23 、 新基本小六法

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型
簡體書 （3）
商品狀況
可訂購商品 （3）
庫存狀況
無庫存 （3）
商品定價
$200~$399 （1）
$400~$599 （2）
出版日期
2020~2021 （1）
2018~2019 （1）
2016年以前 （1）
裝訂方式
平裝 （2）
精裝 （1）
作者
馮棉 （3）
出版社/品牌
廣西師範大學出版社 （2）
華東師範大學出版社 （1）

三民網路書店 / 搜尋結果

共3筆商品，1/1頁
相干與衍推謂詞邏輯（簡體書）
滿額折
1.

相干與衍推謂詞邏輯（簡體書）

作者：馮棉  出版社：華東師範大學出版社  出版日：2018/07/26 裝訂：平裝
本書研究了相干與衍推謂詞邏輯系統，包括公理系統、自然推理系統和結構推理系統的建構，重要內定理和導出規則的證明，並證明了公理系統與對應的自然推理系統、結構推理系統的等價性；同時研究相干與衍推謂詞邏輯弱系統的三元關係變域語義，並在此基礎上證明了各個系統的可靠性和完全性。研究的知識體系完整，概念表述明晰，內定理和元定理的證明嚴格而規範，具有理論的廣度和深度，在一些重要理論問題上有突破和創新。
定價：354 元， 優惠價：87 308
海外經銷商無庫存，到貨日平均30天至45天
結構推理（簡體書）
滿額折
2.

結構推理（簡體書）

作者：馮棉  出版社：廣西師範大學出版社  出版日：2015/03/01 裝訂：精裝
本書研究命題邏輯的結構推理，分為四章：一、經典命題邏輯的結構推理；二、直覺主義命題邏輯的結構推理；三、相干命題邏輯及其線性片段的結構推理；四、和正結合演算的結構推理。內容涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，並考察了正結合演算結構推理系統BL-D的可判定性。本書是教育部人文社會科學重點研究基地重大專案“結構推理及
定價：408 元， 優惠價：87 355
海外經銷商無庫存，到貨日平均30天至45天
結構推理(第二版)（簡體書）
滿額折
3.

結構推理(第二版)（簡體書）

作者：馮棉  出版社：廣西師範大學出版社  出版日：2020/07/01 裝訂：平裝
結構推理是現代邏輯的重要推理方式之一，它通過對各種結構規則的研究，從整體上處理一大類邏輯，具有良好的表現力。與此同時，借助於結構規則和聯結詞規則，也揭示出各個現代邏輯分支的差異，成為諸分支比較研究的有力工具。 結構推理展現了日常推理中的多種推理方式，對於邏輯推理機制的深入研究和人工智能的開發具有重要的理論意義和實際價值。 《結構推理（第二版）》研究命題邏輯的結構推理，涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價性，在語義理論的基礎上，證明了各個結構推理系統的可靠性與完全性，並考察了正結合演算結構推理系統BL-D的可判定性，是探究這一邏輯前沿領域的力作。
定價：408 元， 優惠價：87 355
海外經銷商無庫存，到貨日平均30天至45天
  • 共

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