TOP
0
0
三民出版.新書搶先報|最速、最優惠的新鮮貨報給你知!

縮小範圍


商品類型

簡體書 (2)
商品狀況

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

無庫存 (2)
商品定價

$200~$399 (1)
$600~$799 (1)
出版日期

2020~2021 (2)
裝訂方式

平裝 (2)
作者

文學鋒 (2)
出版社/品牌

科學出版社 (2)

三民網路書店 / 搜尋結果

2筆商品,1/1頁
作者:文學鋒  出版社:科學出版社  出版日:2021/03/30 裝訂:平裝
本書按照預備知識、基礎、進階、一階模態邏輯共分為四個部分。第一部分為讀者準備了集合論、命題邏輯和一階邏輯的基礎知識。第二、三部分分別介紹了命題模態邏輯的形式語義、公理系統、表列系統和模態語義,以及模態邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態邏輯和複雜一階模態邏輯。
絕版無法訂購
範疇、語境與博弈:語言邏輯研究新視角(簡體書)
滿額折
作者:文學鋒  出版社:科學出版社  出版日:2021/08/25 裝訂:平裝
現代邏輯自誕生起就與語言有著密切的聯系。盡管蒙塔古的范疇語法理論引起了語言邏輯的一次革命,但對自然語言內涵性的形式刻畫仍然沒有得到很好的解決。文學鋒編著的《范疇語境與博弈(語言邏輯研究新視角)》運用范疇論、代數語義和博弈語義對該問題進行了探索:首先,介紹了范疇論的基本概念和基于范疇論的邏輯語義,運用范疇論語義對內涵推理進行了刻畫;其次,通過引入語境和語境同義性思想,給出了若干超內涵邏輯,并針對范疇語法較為靈活的語言給出了一種極小內涵邏輯:最后,本書通過引入多主體和隨機行動的概念.發展了博弈語義。 《范疇語境與博弈(語言邏輯研究新視角)》適合數學、邏輯學、語言學和計算機科學專業的科研人員及高校師生參考閱讀。
海外經銷商無庫存,到貨日平均30天至45天
定價:348 元, 優惠價:87 303

暢銷榜

客服中心

收藏

會員專區