TOP
0
0
購書領優惠,滿額享折扣!

縮小範圍


商品類型

簡體書 (6)
商品狀況

可訂購商品 (5)
無法訂購商品 (1)
庫存狀況

無庫存 (6)
商品定價

$400~$599 (5)
$600~$799 (1)
出版日期

2023~2024 (1)
2021~2022 (4)
2019~2020 (1)
裝訂方式

平裝 (6)
作者

馬明輝 (2)
劉虎 (1)
文學鋒 (1)
熊衛 (1)
趙希順 (1)
出版社/品牌

科學出版社 (6)

三民網路書店 / 搜尋結果

6筆商品,1/1頁
結構證明論(第二版)(簡體書)
滿額折
作者:馬明輝  出版社:科學出版社  出版日:2023/06/01 裝訂:平裝
證明論是邏輯基礎理論的分支,結構證明論是證明論的分支,它研究演算中的分析性證明,本書在介紹古典句子邏輯和直覺主義邏輯的基礎上,給出公理系統、自然演繹和矢列演算等不同類型的邏輯演算,根據結構的定義和結構規則,區分不同類型的矢列演算,並且以切割消除為工具,給出了插值性質、可判定性等問題的證明,本書還介紹了一階邏輯、模態邏輯和代數邏輯的矢列演算。 本書適合邏輯學相關專業的高校師生閱讀,也可供對邏輯學感興趣的讀者閱讀。
海外經銷商無庫存,到貨日平均30天至45天
定價:534 元, 優惠價:87 465
簡明數理邏輯(簡體書)
滿額折
作者:趙希順  出版社:科學出版社  出版日:2021/11/26 裝訂:平裝
本書首先簡要介紹了數理邏輯的發展、形式系統及一些預備知識,然後介紹了初等集合論,詳細講解了命題演算、謂詞演算、可計算性理論和哥德爾不完全性定理,最後介紹了模型論的基礎知識和方法。全書重點突出,論證詳細,各部分內容配有典型的例子和習題,以便讀者更好地理解、掌握相關知識。本書適合邏輯學本科高年級學生和非數理邏輯專業的碩士研究生閱讀,也可供對邏輯學感興趣的讀者閱讀。
海外經銷商無庫存,到貨日平均30天至45天
定價:534 元, 優惠價:87 465
哲學邏輯導論(簡體書)
滿額折
作者:劉虎  出版社:科學出版社  出版日:2022/06/29 裝訂:平裝
《哲學邏輯導論》是一本初等哲學邏輯的教科書。《哲學邏輯導論》介紹了多種哲學邏輯,如模態邏輯、認知邏輯、時態邏輯、道義邏輯、條件句邏輯、直覺主義邏輯、多值邏輯等,每種哲學邏輯刻畫一個對象(某個概念或某個問題),同時給出了用於刻畫這個對象的邏輯理論的定義,並給予這些定義以合理性辯護。
海外經銷商無庫存,到貨日平均30天至45天
定價:474 元, 優惠價:87 412
結構證明論(簡體書)
滿額折
作者:馬明輝  出版社:科學出版社  出版日:2019/06/01 裝訂:平裝
結構證明論研究形式系統中證明的結構.本書介紹經典邏輯和直覺主義邏輯的自然演繹和矢列演算,它們是結構證明論的基礎理論.甘岑式矢列演算的基本定理是切割消除.運用證明論研究方法,通過分析證明的結構可以得到一些邏輯性質,如子公式性質、可判定性、插值性質等等.本書還介紹了經典模態命題邏輯以及一些代數邏輯的結構證明論。
海外經銷商無庫存,到貨日平均30天至45天
定價:528 元, 優惠價:87 459
作者:文學鋒  出版社:科學出版社  出版日:2021/03/30 裝訂:平裝
本書按照預備知識、基礎、進階、一階模態邏輯共分為四個部分。第一部分為讀者準備了集合論、命題邏輯和一階邏輯的基礎知識。第二、三部分分別介紹了命題模態邏輯的形式語義、公理系統、表列系統和模態語義,以及模態邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態邏輯和複雜一階模態邏輯。
絕版無法訂購
理性選擇導論(簡體書)
滿額折
作者:熊衛  出版社:科學出版社  出版日:2022/04/01 裝訂:平裝
本書分為三個部分。第一部分為基礎概率論,介紹了概率論的基本概念和公式。第二部分為經典理性選擇理論,介紹了理性選擇理論中的基本概念,包括偏好和選擇規則,以及風險情形下的馮·諾伊曼-摩根斯坦期望效用理論,不確定情形下的拉姆齊主觀概率理論、德菲尼蒂主觀概率理論、安斯康姆-奧曼主觀期望效用理論等。第三部分為理性選擇理論的延伸:從個體到群體,介紹了經典的群體選擇理論――阿羅不可能性定理,以及博弈論的基本模型――策略型博弈。
海外經銷商無庫存,到貨日平均30天至45天
定價:474 元, 優惠價:87 412

暢銷榜

客服中心

收藏

會員專區